Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

Goel, A., Green, M., Hall-Andersen, M. N. & Kaptchuk, G. (2022). Efficient Set Membership Proofs using MPC-in-the-Head. Proceedings on Privacy Enhancing Technologies, 2022(2), 304-324. https://doi.org/10.2478/popets-2022-0047

Pasquini, D., Francati, D. & Ateniese, G. (2022). Eluding Secure Aggregation in Federated Learning via Model Inconsistency. In CCS 2022 - Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (pp. 2429-2443). Association for Computing Machinery. https://doi.org/10.1145/3548606.3560557

Van Mechelen, M., Smith, R. C., Schaper, M.-M. A., Tamashiro, M. A., Bilstrup, K.-E. K., Lunding, M. S., Petersen, M. G. & Iversen, O. S. (2022). Emerging Technologies in K-12 Education: A Future HCI Research Agenda. ACM Transactions on Computer-Human Interaction, 30(3), Article 47. https://doi.org/10.1145/3569897

Musaeus, L. H., Van Mechelen, M., Caspersen, M. E. & Iversen, O. S. (2022). Empowerment through computational thinking: A literature survey. Acta Didactica Norden, 16(4), Article 1. https://doi.org/10.5617/adno.9152

Hogräfer, M., Grønbæk, J. E., Puschmann, J., Knudsen, S. K. & Schulz, H.-J. (2022). Enabling Collaborative Cybercartography with MapBlender. In E. Parseliunas, A. Mansourian, P. Partsinevelos & J. Suziedelyte-Visockiene (Eds.), Proceedings of the 25th AGILE Conference on Geographic Information Science (AGILE'22): Artificial Intelligence in the service of Geospatial Technologies Article 37 Copernicus Publications. https://doi.org/10.5194/agile-giss-3-37-2022

Tchernavskij, P. & Bødker, S. (2022). Entangled Artifacts: The Meeting Between a Volunteer-run Citizen Science Project and a Biodiversity Data Platform. In NordiCHI '22: Nordic Human-Computer Interaction Conference Association for Computing Machinery. https://doi.org/10.1145/3546155.3546682

Caragiannis, I., Kaklamanis, C., Karanikolas, N. & Krimpas, G. (2022). Evaluating approval-based multiwinner voting in terms of robustness to noise. Autonomous Agents and Multi-Agent Systems, 36(1), Article 1. https://doi.org/10.1007/s10458-021-09530-w

van de Pol, J. (2022). Exploring a Parallel SCC Algorithm: Using TLA ⁺ and the TLC Model Checker. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings (pp. 535-555). Springer. https://doi.org/10.1007/978-3-031-19849-6_30

Borowski, M. (2022). Exploring Computational Media as a Possible Future of Software. Århus Universitet.

Türkmen, R., Pfeuffer, K., Barrera MacHuca, M. D., Batmaz, A. U. & Gellersen, H. (2022). Exploring Discrete Drawing Guides to Assist Users in Accurate Mid-air Sketching in VR. In CHI 2022 - Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems Article 276 Association for Computing Machinery. https://doi.org/10.1145/3491101.3519737

Lystbæk, M. N., Pfeuffer, K., Grønbæk, J. E. S. & Gellersen, H. (2022). Exploring Gaze for Assisting Freehand Selection-based Text Entry in AR. Proceedings of the ACM on Human-Computer Interaction, 6(ETRA), Article 141. https://doi.org/10.1145/3530882

Lunding, M. S., Grønbæk, J. E. S., Bilstrup, K. E. K., Sørensen, M. L. S. K. & Petersen, M. G. (2022). ExposAR: Bringing Augmented Reality to the Computational Thinking Agenda through a Collaborative Authoring Tool. In CHI 2022 - Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems Article 131 Association for Computing Machinery. https://doi.org/10.1145/3491102.3517636

Annenkov, D., Milo, M., Nielsen, J. B. & Spitters, B. A. S. (2022). Extracting functional programs from Coq, in Coq. Journal of Functional Programming, 32(5), Article e11. https://doi.org/10.1017/S0956796822000077

Aziz, H., Caragiannis, I., Igarashi, A. & Walsh, T. (2022). Fair allocation of indivisible goods and chores. Autonomous Agents and Multi-Agent Systems, 36(1), Article 3. https://doi.org/10.1007/s10458-021-09532-8

Davi Resende, A. C., Railsback, D., Dowsley, R., Nascimento, A. C. A. & Aranha, D. F. (2022). Fast Privacy-Preserving Text Classification based on Secure Multiparty Computation. IEEE Transactions on Information Forensics and Security, 17, 428-442. https://doi.org/10.1109/TIFS.2022.3144007

Damgård, I., Jakobsen, T. P., Nielsen, J. B., Pagter, J. I. & Østergaard, M. B. (2022). Fast threshold ECDSA with honest majority. Journal of Computer Security, 30(1), 167-196. https://doi.org/10.3233/JCS-200112

Baum, C., Jadoul, R., Orsini, E., Scholl, P. & Smart, N. P. (2022). Feta: Efficient Threshold Designated-Verifier Zero-Knowledge Proofs. In CCS'22 - Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (pp. 293-306). Association for Computing Machinery. https://doi.org/10.1145/3548606.3559354

Ganesh, C., Orlandi, C., Pancholi, M. R., Takahashi, A. & Tschudi, D. (2022). Fiat-Shamir Bulletproofs are Non-Malleable (in the Algebraic Group Model). In O. Dunkelman & S. Dziembowski (Eds.), Advances in Cryptology – EUROCRYPT 2022 (pp. 397-426). Springer. https://doi.org/10.1007/978-3-031-07085-3_14

Milo, M., Nielsen, E. H., Annenkov, D. & Spitters, B. (2022). Finding smart contract vulnerabilities with ConCert's property-based testing framework. FMBC: Formal Methods for Blockchains https://doi.org/10.48550/arXiv.2208.00758

Milo, M., Nielsen, E. H., Annenkov, D. & Spitters, B. (2022). Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing Framework. In Z. Dargaye & C. Schneidewind (Eds.), 4th International Workshop on Formal Methods for Blockchains (FMBC 2022) Dagstuhl Publishing. https://doi.org/10.4230/OASIcs.FMBC.2022.2

Brendborg, J., Karras, P., Pavlogiannis, A., Rasmussen, A. U. & Tkadlec, J. (2022). Fixation Maximization in the Positional Moran Process. Proceedings of the AAAI Conference on Artificial Intelligence, 36(9, AAAI Technical Track on Multiagent Systems), 9304-9312. https://doi.org/10.1609/aaai.v36i9.21160

Filos-Ratsikas, A., Hansen, K. A., Hogh, K. & Hollender, A. (2022). FIXP-membership via Convex Optimization: Games, Cakes, and Markets. In 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS) (pp. 827-838). IEEE. https://doi.org/10.1109/FOCS52979.2021.00085

Madsen, M., Starup, J. L. & Lhoták, O. (2022). Flix: A Meta Programming Language for Datalog. In Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) (pp. 202-206). CEUR-WS.org. https://ceur-ws.org/Vol-3203/short8.pdf

Matt, C., Nielsen, J. B. & Thomsen, S. E. (2022). Formalizing Delayed Adaptive Corruptions and the Security of Flooding Networks. In Advances in Cryptology – CRYPTO 2022 - 42nd Annual International Cryptology Conference, CRYPTO 2022, Proceedings: 42nd Annual International Cryptology Conference, CRYPTO 2022, Procerdings (pp. 400-430). Springer, Cham. https://doi.org/10.1007/978-3-031-15979-4_14

Bilstrup, K. E. K., Kaspersen, M. H., Assent, I., Enni, S. & Petersen, M. G. (2022). From Demo to Design in Teaching Machine Learning. In Proceedings of the 5th ACM Conference on Fairness, Accountability, and Transparency, FAccT 2022 (pp. 2168-2178). Association for Computing Machinery. https://doi.org/10.1145/3531146.3534634

Ishai, Y., Patra, A., Patranabis, S., Ravi, D. & Srinivasan, A. (2022). Fully-Secure MPC with Minimal Trust. In Theory of Cryptography - 20th International Conference, TCC 2022, Proceedings (pp. 470–501). Springer. https://doi.org/10.1007/978-3-031-22365-5_17

Lystbæk, M. N., Rosenberg, P., Pfeuffer, K., Grønbæk, J. E. & Gellersen, H. (2022). Gaze-Hand Alignment: Combining Eye Gaze and Mid-Air Pointing for Interacting with Menus in Augmented Reality. Proceedings of the ACM on Human-Computer Interaction, 6(ETRA), Article 145. https://doi.org/10.1145/3530886

David, B., Magri, B., Matt, C., Nielsen, J. B. & Tschudi, D. (2022). GearBox: Optimal-size Shard Committees by Leveraging the Safety-Liveness Dichotomy. In CCS'22 - Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (pp. 683-696). Association for Computing Machinery. https://doi.org/10.1145/3548606.3559375

Nyborg, J. C., Pelletier, C. & Assent, I. (2022). Generalized Classification of Satellite Image Time Series with Thermal Positional Encoding. In Proceedings - 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2022 (pp. 1391-1401). IEEE. https://doi.org/10.1109/CVPRW56347.2022.00145

Hurst, A., Lucani Rötter, D. E., Assent, I. & Zhang, Q. (2022). GLEAN: Generalized Deduplication Enabled Approximate Edge Analytics. IEEE Internet of Things Journal, 10(5), 4006-4020. https://doi.org/10.1109/JIOT.2022.3166455

Jørgensen, J. R., Nellemann, K. S., Assent, I., Pathak, A. R. & Elster, A. C. (2022). GPU-FAST-PROCLUS: A Fast GPU-parallelized Approach to Projected Clustering. Paper presented at EDBT 2022: 24th International Conference on Extending Database Technology.

Afshani, P., Killmann, R. & Larsen, K. G. (2022). Hierarchical Categories in Colored Searching. In S. W. Bae & H. Park (Eds.), 33rd International Symposium on Algorithms and Computation, ISAAC 2022 Article 25 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ISAAC.2022.25

Kaspersen, M. H., Bilstrup, K. E. K., Van Mechelen, M., Hjort, A., Bouvin, N. O. & Petersen, M. G. (2022). High school students exploring machine learning and its societal implications: Opportunities and challenges. International Journal of Child-Computer Interaction, 34, Article 100539. https://doi.org/10.1016/j.ijcci.2022.100539

Sten Andersen, M., Rask Schmahl, O., Galli, G., Alavesa, P. & Pakanen, M. (2022). HIPPA: Smart Wearables for Enriching the Gameplay of a Traditional Tag Game. In CHI PLAY '22: Extended Abstracts of the 2022 Annual Symposium on Computer-Human Interaction in Play (pp. 31-37). Association for Computing Machinery, Inc.. https://doi.org/10.1145/3505270.3558321

Zizzo, A. R., Hvidman, L., Salvig, J. D., Holst, L., Kyng, M. & Petersen, O. B. (2022). Home management by remote self-monitoring in intermediate- and high-risk pregnancies: A retrospective study of 400 consecutive women. Acta Obstetricia et Gynecologica Scandinavica, 101(1), 135-144. https://doi.org/10.1111/aogs.14294

Guimaraes, A., Neumann, L., Andaló, F. A., Aranha, D. F. & Borin, E. (2022). Homomorphic evaluation of large look-up tables for inference on human genome data in the cloud. In Proceedings - 2022 IEEE 34th International Symposium on Computer Architecture and High Performance Computing Workshops, SBAC-PADW 2022 (pp. 33-38). IEEE. https://doi.org/10.1109/SBAC-PADW56527.2022.00015

Christiansen, M., Villadsen, L., Zhong, Z., Teso, S. & Mottin, D. (2022). How Faithful are Self-Explainable GNNs?. Paper presented at Learning on Graphs Conference 2022.

Seinfeld, S., Feuchtner, T., Pinzek, J. & Müller, J. (2022). Impact of Information Placement and User Representations in VR on Performance and Embodiment. IEEE Transactions on Visualization and Computer Graphics, 28(3), 1545-1556. https://doi.org/10.1109/TVCG.2020.3021342

Caragiannis, I., Christodoulou, G. & Protopapas, N. (2022). Impartial Selection with Additive Approximation Guarantees. Theory of Computing Systems, 66(3), 721-742. https://doi.org/10.1007/s00224-022-10081-0

Cohen-Addad, V., Larsen, K. G., Saulpic, D., Schwiegelshohn, C. & Sheikh-Omar, O. A. (2022). Improved Coresets for Euclidean k-Means. arxiv.org. https://doi.org/10.48550/arXiv.2211.08184

Cohen-Addad, V., Larsen, K. G., Saulpic, D., Schwiegelshohn, C. & Sheikh-Omar, O. A. (2022). Improved Coresets for Euclidean k-Means. In S. Koyejo, S. Mohamed, A. Agarwal, D. Belgrave, K. Cho & A. Oh (Eds.), Advances in Neural Information Processing Systems 35 - 36th Conference on Neural Information Processing Systems, NeurIPS 2022 Neural Information Processing Systems Foundation.

Thai Son, M., Jacobsen, J., Amer-Yahia, S., Spence, I., Tran, P., Assent, I. & Viet Hung Nguyen, Q. (2022). Incremental Density-based Clustering on Multicore Processors. I E E E Transactions on Pattern Analysis and Machine Intelligence, 44(3), 1338-1356. https://doi.org/10.1109/TPAMI.2020.3023125

Svoboda, J., Tkadlec, J., Pavlogiannis, A., Chatterjee, K. & Nowak, M. A. (2022). Infection dynamics of COVID-19 virus under lockdown and reopening. Scientific Reports, 12, Article 1526. https://doi.org/10.1038/s41598-022-05333-5

Durocher, L., Karras, P., Pavlogiannis, A. & Tkadlec, J. (2022). Invasion Dynamics in the Biased Voter Process. In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22) (pp. 265-271). IJCAI Organization. https://doi.org/10.24963/ijcai.2022/38

Sammler, M., Hammond, A., Lepigre, R., Campbell, B., Pichon-Pharabod, J., Dreyer, D., Garg, D. & Sewell, P. (2022). Islaris: verification of machine code against authoritative ISA semantics. In R. Jhala & I. Dillig (Eds.), PLDI 2022 - Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 825-840). Association for Computing Machinery. https://doi.org/10.1145/3519939.3523434

Sørensen, M.-L. S. K., Fog, B. V., Musaeus, L. H. & Petersen, M. G. (2022). Knit x Code: Exploring a Craftsmanship-driven Approach to Computational Thinking. In Participative Computing for Sustainable Futures : Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI'22) Article 48 Association for Computing Machinery. https://doi.org/10.1145/3547522.3547680

Sørensen, M.-L. S. K., Fog, B. V., Musaeus, L. H. & Petersen, M. G. (2022). Knit x Code - Exploring a Craftsmanship-driven Approach to Computational Thinking. Design United. https://www.4tu.nl/du/columns/Knit%20x%20Code/

Lissandrini, M., Mottin, D., Hose, K. & Pedersen, T. B. (2022). Knowledge Graph Exploration Systems: are we lost?. Paper presented at 12th Annual Conference on
Innovative Data Systems Research (CIDR ’22), Chaminade, United States. https://dblp.org/db/conf/cidr/cidr2022.html

Aranha, D. F., Lin, C., Orlandi, C. & Simkin, M. (2022). Laconic Private Set-Intersection From Pairings. In CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (pp. 111-124). Association for Computing Machinery. https://doi.org/10.1145/3548606.3560642

Spies, S., Gäher, L., Tassarotti, J., Jung, R., Krebbers, R., Birkedal, L. & Dreyer, D. (2022). Later credits: resourceful reasoning for the later modality. Proceedings of the ACM on Programming Languages , 6(ICFP), Article 100. https://doi.org/10.1145/3547631

Displaying results 451 to 500 out of 5533

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University