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

Abram, D., Malavolta, G. & Roy, L. (2025). Succinct Oblivious Tensor Evaluation and Applications: Adaptively-Secure Laconic Function Evaluation and Trapdoor Hashing for All Circuits. In M. Koucky & N. Bansal (Eds.), STOC 2025 - Proceedings of the 57th Annual ACM Symposium on Theory of Computing (pp. 1875-1886). Association for Computing Machinery, Inc.. https://doi.org/10.1145/3717823.3718164

Sølvsten, S. & van de Pol, J. (2025). Symbolic Model Checking in External Memory. ArXiv. https://doi.org/10.48550/arXiv.2505.11229

Christensen, H. B., Kirkeby, M. H., Thomsen, B. & Thomsen, L. L. (2025). Teaching Energy-Efficient Software - An Experience Report. ArXiv. https://arxiv.org/abs/2504.19707

Keilty, A. P., Aranha, D. F., Pagnin, E. & Henríquez, F. R. (2025). That's AmorE: Amortized Efficiency for Pairing Delegation. In CRYPTO 2025 https://doi.org/10.1007/978-3-032-01913-4_7

Goldberg, P. W., Høgh, K. & Hollender, A. (2025). The frontier of intractability for EFX with two agents. Theoretical Computer Science, 1052, Article 115367. https://doi.org/10.1016/j.tcs.2025.115367

Vindum, S. F., Georges, A. L. & Birkedal, L. (2025). The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic. In K. Stark, A. Timany, S. Blazy & N. Tabareau (Eds.), Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2025 (pp. 83-97). Association for Computing Machinery, Inc.. https://doi.org/10.1145/3703595.3705876

Lutze, M., Schuster, P. & Brachthäuser, J. I. (2025). The Simple Essence of Monomorphization. Proceedings of the ACM on Programming Languages , 9(OOPSLA1), Article 116. https://doi.org/10.1145/3720472

Mahrík, M., Šikyňa, M., Mic, V. & Zezula, P. (2025). Towards Personalized Similarity Search for Vector Databases. In E. Chávez, B. Kimia, J. Lokoč, M. Patella & J. Sedmidubsky (Eds.), Similarity Search and Applications - 17th International Conference, SISAP 2024, Proceedings (pp. 126-139). Springer. https://doi.org/10.1007/978-3-031-75823-2_11

Amer-Yahia, S., Bogojeska, J., Facchinetti, R., Franceschi, V., Gionis, A., Hose, K., Koutrika, G., Kouyos, R., Lissandrini, M., Maniu, S., Mirylenka, K., Mottin, D., Palpanas, T., Rigotti, M. & Velegrakis, Y. (2025). Towards Reliable Conversational Data Analytics. In roceedings of the 28th International Conference on Extending Database Technology (3 ed., pp. 962-969). openproceedings.org. https://doi.org/10.48786/edbt.2025.78

Taylor, K., Wang, H., Weidner, F. & Gellersen, H. (2025). Towards the Fusion of Gaze and Micro-Gestures. In Proceedings - 2025 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2025 (pp. 1474-1475). IEEE. https://doi.org/10.1109/VRW66409.2025.00383

Asilis, J., Høgsgaard, M. M. & Velegkas, G. (2025). Understanding Aggregations of Proper Learners in Multiclass Classification. Proceedings of Machine Learning Research, 272, 89-111.

Januzelli, J., Roy, L. & Xu, J. (2025). Under What Conditions Is Encrypted Key Exchange Actually Secure? In S. Fehr & P.-A. Fouque (Eds.), Advances in Cryptology – EUROCRYPT 2025 - 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques: Proceedings (pp. 451-481). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-91124-8_16

Moradan, A., Sorkhpar, M., Miyauchi, A., Mottin, D. & Assent, I. (2025). Untapping the Power of Indirect Relationships in Entity Summarization. In WSDM 2025 : Proceedings of the 18th ACM International Conference on Web Search and Data Mining (pp. 820-828). Association for Computing Machinery. https://doi.org/10.1145/3701551.3703566

Eagan, L. M., Young, J., Bering, J. & Langlotz, T. (2025). Virtual Voyages: Evaluating the Role of Real-Time and Narrated Virtual Tours in Shaping User Experience and Memories. In CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Article 373 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3706598.3714182

Shin, S., Hong, S. & Elmqvist, N. (2025). Visualizationary: Automating Design Feedback for Visualization Designers Using LLMs. IEEE Transactions on Visualization and Computer Graphics. Advance online publication. https://doi.org/10.1109/TVCG.2025.3579700

Blazy, S., Tabareau, N., Stark, K. & Timany, A. (2025). Welcome from the Chairs. In CPP '25: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs (pp. iii-iv). Association for Computing Machinery. https://doi.org/10.1145/3703595

Caragiannis, I., Mehlhorn, K. & Rathi, N. (2025). Welfare-Optimal Serial Dictatorships Have Polynomial Query Complexity. Proceedings of the AAAI Conference on Artificial Intelligence, 39(13), 13675-13682. https://doi.org/10.1609/aaai.v39i13.33494

Amores-Sesar, I. & Cachin, C. (2025). We Will DAG You. In J. Garcia-Alfaro, K. Barker, G. Navarro-Arribas, C. Pérez-Solà, S. Delgado-Segura, S. Katsikas, F. Cuppens, C. Lambrinoudakis, N. Cuppens-Boulahia, M. Pawlicki & M. Choraś (Eds.), Computer Security. ESORICS 2024 International Workshops - DPM, CBT, and CyberICPS, Bydgoszcz, 2024, Revised Selected Papers (pp. 276-291). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-82349-7_19

Kafai, Y. B., Shapiro, R. B., Jetzinger, F., Michaeli, T., Tedre, M., Vartiainen, H., Iivari, N., Musaeus, L. H., Iversen, O. S. & Ali, S. (2025). Youth as Designers of Artificial Intelligence and Machine Learning Technologies: What Do We Know About the Opportunities and Challenges of K-12 Students Creating Their Own Applications? In Proceedings of the 19th International Conference of the Learning Sciences - ICLS 2025 (pp. 2260-2268). International Society of the Learning Sciences (ISLS). https://doi.org/10.22318/icls2014.487

Kafai, Y., Shapiro, R. B., Jetzinger, F., Michaeli, T., Tedre, M., Iversen, O. S., Musaeus, L. H., Ali, S. & Kumar, V. (2025). Youth as Designers of Artificial Intelligence and Machine Learning Technologies: What Do We Know About the Opportunities and Challenges of K-12 Students Creating Their Own Applicat. Paper presented at ISLS annual meeting, Helsinki, Finland. https://doi.org/10.22318/icls2025.362276

Aardal, M. A. & Aranha, D. F. (2024). 2DT-GLS: Faster and Exception-Free Scalar Multiplication in the GLS254 Binary Curve. In B. Smith & H. Wu (Eds.), Selected Areas in Cryptography - 29th International Conference, SAC 2022, Revised Selected Papers (Vol. 13742, pp. 53-74). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-58411-4_3

Conrado, G. K. & Pavlogiannis, A. (2024). A Better Approximation for Interleaved Dyck Reachability. In SOAP 2024 - Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (pp. 18-25). Association for Computing Machinery. https://doi.org/10.1145/3652588.3663318

Bjørn, P., Busboom, J., Duckert, M., Bødker, S., Shklovski, I., Hoggan, E., Dunn, K., Mu, Q., Barkhuus, L. & Boulus-Rodje, N. (2024). Achieving Symmetry in Synchronous Interaction in Hybrid Work is Impossible. ACM Transactions on Computer-Human Interaction, 31(4), Article 49. https://doi.org/10.1145/3648617

Bui-Ngoc, T., Ly, D. K., Truong, T. T., Thongchom, C. & Nguyen-Thoi, T. (2024). A deep neural network based surrogate model for damage identification in full-scale structures with incomplete noisy measurements. Frontiers of Structural and Civil Engineering, 18(3), 393-410. https://doi.org/10.1007/s11709-024-1060-8

Thorsøe, R., Locher, P., Rathish, H. & Schulz, H.-J. (2024). A Framework for Axis Breaks in Charts. In Proceedings of the International Symposium on Vision, Modeling, and Visualization (VMV'24) (pp. 1-8). The Eurographics Association. https://doi.org/10.2312/vmv.20241198

Årdal, M. A., Aranha, D. F., Boudgoust, K., Kolby, S. & Takahashi, A. (2024). Aggregating Falcon Signatures with LaBRADOR. In L. Reyzin & D. Stebila (Eds.), Advances in Cryptology – CRYPTO 2024 - 44th Annual International Cryptology Conference, Proceedings (pp. 71-106) https://doi.org/10.1007/978-3-031-68376-3_3

Gregersen, S. O., Aguirre, A., Haselwarter, P. G., Tassarotti, J. & Birkedal, L. (2024). Almost-Sure Termination by Guarded Refinement. Proceedings of the ACM on Programming Languages , 8(ICFP), 203-233. Article 243. https://doi.org/10.1145/3674632

Timany, A., Krebbers, R., Dreyer, D. & Birkedal, L. (2024). A Logical Approach to Type Soundness. Journal of the ACM, 71(6), Article 40. https://doi.org/10.1145/3676954

Hammond, A., Liu, Z., Pérami, T., Sewell, P., Birkedal, L. & Pichon-Pharabod, J. (2024). An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic. Proceedings of the ACM on Programming Languages , 8, 604-637. Article 21. https://doi.org/10.1145/3632863

Braun, L., Castagnos, G., Damgård, I. B., Laguillaumie, F., Melissaris, K., Orlandi, C. & Tucker, I. (2024). An Improved Threshold Homomorphic Cryptosystem Based on Class Groups. https://eprint.iacr.org/2024/717

Braun, L., Castagnos, G., Damgård, I., Laguillaumie, F., Melissaris, K., Orlandi, C. & Tucker, I. (2024). An Improved Threshold Homomorphic Cryptosystem Based on Class Groups. In C. Galdi & D. H. Phan (Eds.), Security and Cryptography for Networks - 14th International Conference, SCN 2024, Amalfi, Italy, September 11-13, 2024, Proceedings, Part II (pp. 24-46). Springer. https://doi.org/10.1007/978-3-031-71073-5_2

Madsen, O. L. & Møller-Pedersen, B. (2024). An introduction to object-oriented programming as modeling. https://oopm.org

Charbit, P., Couteau, G., Meyer, P. E. & Naserasr, R. (2024). A Note on Low-Communication Secure Multiparty Computation via Circuit Depth-Reduction. 167–199. Abstract from Theory of Cryptography, Milan, Italy. https://eprint.iacr.org/2024/1473

Aranha, D. F., Costache, A., Guimaraes, A. & Soria-Vazquez, E. (2024). A Practical Framework for Verifiable Computation over Encrypted Data. Abstract from 3rd Annual FHE.org Conference on Fully Homomorphic Encryption, Toronto, Canada. https://eprint.iacr.org/2023/1949

Aranha, D. F., Fotiadis, G. & Guillevic, A. (2024). A short-list of pairing-friendly curves resistant to the Special TNFS algorithm at the 192-bit security level. IACR Communications in Cryptology, 1(3). https://doi.org/10.62056/angyl86bm

Lutze, M. & Madsen, M. (2024). Associated Effects: Flexible Abstractions for Effectful Programming. Proceedings of the ACM on Programming Languages , 8, Article 163. https://doi.org/10.1145/3656393

Gregersen, S. O., Aguirre, A., Haselwarter, P. G., Tassarotti, J. & Birkedal, L. (2024). Asynchronous Probabilistic Couplings in Higher-Order Separation Logic. Proceedings of the ACM on Programming Languages , 8(POPL), Article 26. https://doi.org/10.1145/3632868

Schenck, R., Hinnerskov, N. H., Henriksen, T., Madsen, M. & Elsman, M. (2024). AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming. Proceedings of the ACM on Programming Languages , 8(OOPSLA2), 1787-1813. Article 334. https://doi.org/10.1145/3689774

Saioc, G.-V., Lange, J. & Møller, A. (2024). Automated Verification of Parametric Channel-Based Process Communication. In Proceedings of the ACM on Programming Languages (Vol. 8, pp. 2070-2096). Article 344 https://doi.org/10.1145/3689784

Ágústsson, S. Ý., Jones, A. J. H., Curcio, D., Ulstrup, S., Miwa, J., Mottin, D., Karras, P. & Hofmann, P. (2024). Autonomous micro-focus angle-resolved photoemission spectroscopy. Review of Scientific Instruments, 95(5), Article 055106. https://doi.org/10.1063/5.0204663

Hansen, S. M., Assent, I. & Schulz, H.-J. (2024). A Web Framework for Explainable and Malleable Visualisation. In K. Kucher, A. Diehl & C. Gillmann (Eds.), EuroVisPosters2024: Poster Proceedings of the 26th Eurographics Conference on Visualization The Eurographics Association. https://doi.org/10.2312/evp.20241080

Larsen, K. G. (2024). Bagging is an Optimal PAC Learner (Extended Abstract). In K. Larson (Ed.), Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (IJCAI-24) (pp. 8411-8415). IJCAI Organization. https://doi.org/10.24963/ijcai.2024/932

Pancholi, M. R. (2024). Beyond Knowledge Soundness of SNARKs. [PhD thesis, Aarhus University]. Aarhus University.

Nielsen, S. D.-H., Liang, N., Rathish, H., Kim, B. J., Lueangsakulthai, J., Koh, J., Qu, Y., Schulz, H.-J. & Dallas, D. C. (2024). Bioactive milk peptides: an updated comprehensive overview and database. Critical Reviews in Food Science and Nutrition, 64(31), 11510-11529. https://doi.org/10.1080/10408398.2023.2240396

Grønbæk, J. E., Sánchez Esquivel, J., Leiva, G., Velloso, E., Gellersen, H. & Pfeuffer, K. (2024). Blended Whiteboard: Physicality and Reconfigurability in Remote Mixed Reality Collaboration. In CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems: Proceedings of the 2024 CHI Conference on Human Factors in Computing Systems Article 798 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642293

Brodal, G. S. (2024). Bottom-Up Rebalancing Binary Search Trees by Flipping a Coin. In A. Z. Broder & T. Tamir (Eds.), 12th International Conference on Fun with Algorithms, FUN 2024 Article 6 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.FUN.2024.6

Pasquini, D., Francati, D., Ateniese, G. & Evgenios M. Kornaropoulos, E. M. (2024). Breach Extraction Attacks: Exposing and Addressing the Leakage in Second Generation Compromised Credential Checking Services. In 2024 IEEE Symposium on Security and Privacy (SP): Proceedings (pp. 1405-1423). IEEE. https://doi.org/10.1109/SP54263.2024.00114

Chen, N., Chen, X., Zhong, Z. & Pang, J. (2024). Bridging Performance of X (formerly known as Twitter) Users: A Predictor of Subjective Well-Being During the Pandemic. ACM Transactions on the Web, 18(1), Article 15. https://doi.org/10.1145/3635033

Draganov, A. A. (2024). Bridging the Gap Between Theory and Practice in Unsupervised Learning’. [PhD thesis, Aarhus University].

Lunding, M. S. (2024). Bringing Augmented Reality to the Computational Thinking Agenda: Designing AR Authoring Tools for Novice Users to support Creation, Reflection and Collaboration. [PhD thesis, Aarhus University].

Displaying results 101 to 150 out of 5737

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University