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

Blaabjerg, J. F. (2024). Information Flow Techniques for Mitigating Traffic Analysis. Aarhus University.

Andersen, L. B., Basballe, D. A., Buus, L., Dindler, C., Hansen, T. I., Hjorth, M., Iversen, O. S., Johannessen, C. M., Kanstrup, K. H., Lorentzen, R. F., Misfeldt, M., Musaeus, L. H., Nielsen, C. B., Petersen, M. G., Schrøder, V. & Slot, M. F. (2024). Infrastructuring digital literacy in K-12 education: A national case study. International Journal of Child - Computer Interaction, 42, Article 100697. https://doi.org/10.1016/j.ijcci.2024.100697

Brzuska, C., Couteau, G., Egger, C., Karanko, P. & Meyer, P. E. (2024). Instantiating the Hash-Then-Evaluate Paradigm: Strengthening PRFs, PCFs, and OPRFs. In C. Galdi & D. Hieu Phan (Eds.), Security and Cryptography for Networks (pp. 97–116). Springer Nature. https://eprint.iacr.org/2023/1145

Fleischhacker, N., Larsen, K. G., Obremski, M. & Simkin, M. (2024). Invertible Bloom Lookup Tables with Less Memory and Randomness. In T. Chan, J. Fischer, J. Iacono & G. Herman (Eds.), 32nd Annual European Symposium on Algorithms, ESA 2024 Article 54 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2024.54

Legoupil, M., Rousseau, J., Georges, A. L., Pichon-Pharabod, J. & Birkedal, L. (2024). Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly. Proceedings of the ACM on Programming Languages , 8(OOPSLA2), Article 282. https://doi.org/10.1145/3689722

Butcher, P. W. S., Batch, A., Saffo, D., Macintyre, B., Elmqvist, N. & Ritsos, P. D. (2024). Is Native Naïve? Comparing Native Game Engines and WebXR as Immersive Analytics Development Platforms. IEEE Computer Graphics and Applications, 44(3), 91-98. https://doi.org/10.1109/MCG.2024.3367422

Rathish, H., Picón, G. C. & Schulz, H.-J. (2024). LaNe Plot: A Visual Fingerprinting Technique for Sequential Data. In K. Kucher, A. Diehl & C. Gillmann (Eds.), Poster Proceedings of the 26th Eurographics Conference on Visualization The Eurographics Association. https://doi.org/10.2312/evp.20241087

Marandi, A., Alves, P. G. M. R., Aranha, D. F. & Jacobsen, R. H. (2024). Lattice-based Homomorphic Encryption for Privacy-Preserving Smart Meter Data Analytics. The Computer Journal, 67(5), 1687-1698. https://doi.org/10.1093/comjnl/bxad093

Amireddy, P., Behera, A. R., Paraashar, M., Srinivasan, S. & Sudan, M. (2024). Local Correction of Linear Functions over the Boolean Cube. In STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of Computing (pp. 764-775). Association for Computing Machinery. https://doi.org/10.1145/3618260.3649746

Toftrup, M. B., Loeschcke, S., Belongie, S., J. Kastoryano, M. & Snæbjanarson, V. (2024). LoQT: Low-Rank Adapters for Quantized Pretraining. https://arxiv.org/abs/2405.16528

Burkhardt, J., Caragiannis, I., Fehrs, K., Russo, M., Schwiegelshohn, C. & Shyam, S. (2024). Low-Distortion Clustering with Ordinal and Limited Cardinal Information. In M. Wooldridge, J. Dy & S. Natarajan (Eds.), Technical Tracks 14 (9 ed., pp. 9555-9563). Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v38i9.28811

Aden-Ali, I., Høgsgaard, M. M., Larsen, K. G. & Zhivotovskiy, N. (2024). Majority-of-Three: The Simplest Optimal Learner? Proceedings of Machine Learning Research, 247, 22-45. https://proceedings.mlr.press/v247/aden-ali24a.html

Bødker, S., Hoggan, E. & Larsen-Ledet, I. (2024). Material Mediation in Collaborative Activity. Proceedings of the ACM on Human-Computer Interaction, 8(CSCW1), Article 207. https://doi.org/10.1145/3653698

Nelson, B., Pagnin, E. & Askarov, A. (2024). Metadata Privacy Beyond Tunneling for Instant Messaging. In Proceedings - 9th IEEE European Symposium on Security and Privacy, EuroS&P 2024 (pp. 697-723). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/EuroSP60621.2024.00044

Bilstrup, K. E. K., Kaspersen, M. H., Bouvin, N. O. & Petersen, M. G. (2024). ml-machine.org: Infrastructuring a Research Product to Disseminate AI Literacy in Education. In CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Article 272 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642539

Protzenko, J. & Spitters, B. (2024). Modernizing FIPS for safe languages and verified libraries. Paper presented at NIST Workshop on Formal Methods within Certification Programs (FMCP 2024), Rockville, Maryland, United States. https://www.nist.gov/system/files/documents/2024/06/11/08-ProtzenkoSpitters.pdf

Frumin, D., Timany, A. & Birkedal, L. (2024). Modular Denotational Semantics for Effects with Guarded Interaction Trees. Proceedings of the ACM on Programming Languages , 8(POPL), Article 12. https://doi.org/10.1145/3632854

Guimaraes, A., Borin, E. & Aranha, D. F. (2024). MOSFHET: Optimized Software for FHE over the Torus. Journal of Cryptographic Engineering, 14(3), 577-593. https://doi.org/10.1007/s13389-024-00359-z

Jiang, Y., Kleinau, J., Eckroth, T. M., Hoggan, E., Mueller, S. & Wessely, M. (2024). MouthIO: Fabricating Customizable Oral User Interfaces with Integrated Sensing and Actuation. In UIST '24 - The 37th Annual ACM Symposium on User Interface Software and Technology Association for Computing Machinery. https://doi.org/10.1145/3654777.3676443

Yakoubov, S., Pagnin, E. & Kolby, S. (2024). Multi Designated Verifier Ring Signatures. IACR Communications in Cryptology, 1(3). https://doi.org/10.62056/a33zivrzn

Francati, D., Friolo, D., Malavolta, G. & Venturi, D. (2024). Multi-key and Multi-input Predicate Encryption (for Conjunctions) from Learning with Errors. Journal of Cryptology, 37(3), Article 24. https://doi.org/10.1007/s00145-024-09504-7

Hoggan, E. (2024). Multimodal Interaction. In Interaction Techniques and Technologies in Human-Computer Interaction (pp. 45-63). CRC Press. https://doi.org/10.1201/9781003490678-2

Hinrichsen, J. K., Jacobs, J. & Krebbers, R. (2024). Multris: Functional Verification of Multiparty Message Passing in Separation Logic. Proceedings of the ACM on Programming Languages , 8(OOPSLA2), Article 322. https://doi.org/10.1145/3689762

Francati, D. & Venturi, D. (2024). Non-malleable Fuzzy Extractors. In C. Pöpper & L. Batina (Eds.), Applied Cryptography and Network Security: 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5–8, 2024, Proceedings, Part I (pp. 135-155). Springer. https://doi.org/10.1007/978-3-031-54770-6_6

Adolf, J., Kán, P., Feuchtner, T., Adolfová, B., Doležal, J. & Lhotská, L. (2024). Offistretch: camera-based real-time feedback for daily stretching exercises. Visual Computer. https://doi.org/10.1007/s00371-024-03450-y

Baum, C., Beullens, W., Mukherjee, S., Orsini, E., Ramacher, S., Rechberger, C., Roy, L. & Scholl, P. (2024). One Tree to Rule Them All: Optimizing GGM Trees and OWFs for Post-Quantum Signatures. In K.-M. Chung & Y. Sasaki (Eds.), Advances in Cryptology - ASIACRYPT 2024 (pp. 463-493). Springer Nature. https://doi.org/10.1007/978-981-96-0875-1_15

Brodal, G. S., Fagerberg, R. & Rysgaard, C. M. (2024). On Finding Longest Palindromic Subsequences Using Longest Common Subsequences. In T. Chan, J. Fischer, J. Iacono & G. Herman (Eds.), 32nd Annual European Symposium on Algorithms, ESA 2024 Article 35 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2024.35

Afshani, P. & Cheng, P. (2024). On Semialgebraic Range Reporting. Discrete and Computational Geometry, 71(1), 4-39. https://doi.org/10.1007/s00454-023-00574-1

Caragiannis, I., Hansen, K. A. & Rathi, N. (2024). On the Complexity of Pareto-Optimal and Envy-Free Lotteries. In AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems (pp. 244-252). Association for Computing Machinery. https://dl.acm.org/doi/10.5555/3

Moradan, A. (2024). On the Expressiveness of Community Detection in Complex Networks. Aarhus University.

Dahlsen-Jensen, M. B., Fievet, B., Petrucci, L. & de Pol, J. V. (2024). On-The-Fly Algorithm for Reachability in Parametric Timed Games. In B. Finkbeiner & L. Kovács (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings (pp. 194-212). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-57256-2_10

Krishna, S., Lal, A., Pavlogiannis, A. & Tuppe, O. (2024). On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability. Proceedings of the ACM on Programming Languages , 8(POPL), 1239-1268. https://doi.org/10.1145/3632884

Neele, T. & Pol, J. V. D. (2024). Operations on Fixpoint Equation Systems. Logical Methods in Computer Science, 20(3). https://doi.org/10.46298/LMCS-20(3:5)2024

Afshani, P. & Schwiegelshohn, C. (2024). Optimal Coresets for Low-Dimensional Geometric Median. Proceedings of Machine Learning Research, 235, 262-270.

Shaik, I. & Pol, J. V. D. (2024). Optimal Layout-Aware CNOT Circuit Synthesis with Qubit Permutation. In U. Endriss, F. S. Melo, K. Bach, A. J. B. Diz, J. M. Alonso-Moral, S. Barro & F. Heintz (Eds.), ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain - Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024) (pp. 4207-4215). IOS Press. https://doi.org/10.3233/FAIA240993

Shaik, I. & Van de Pol, J. (2024). Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits. In S. Chakraborty & J.-H. R. Jiang (Eds.), 27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024 Article 26 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SAT.2024.26

Larsen, K. G., Pagh, R., Persiano, G., Pitassi, T., Yeo, K. & Zamir, O. (2024). Optimal Non-Adaptive Cell Probe Dictionaries and Hashing. In K. Bringmann, M. Grohe, G. Puppis & O. Svensson (Eds.), 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024 Article 104 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ICALP.2024.104

da Cunha, A., Høgsgaard, M. M. & Larsen, K. G. (2024). Optimal Parallelization of Boosting. Abstract from NeurIPS'24: 38th Conference on Neural Information Processing Systems, Vancouver, Canada.

Shi, Z., Mathur, U. & Pavlogiannis, A. (2024). Optimistic Prediction of Synchronization-Reversal Data Races. In Proceedings - 2024 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2024: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering (pp. 1-13). Article 134 Association for Computing Machinery. https://doi.org/10.1145/3597503.3639099

Årdal, M. A., Adj, G., Alblooshi, A., Aranha, D. F., A. Canales-Martínez, I., Chavez-Saab, J., Gazzoni Filho, D. L., Reijnders, K. & Rodriguez-Henriquez, F. (2024). Optimized SQIsign one-dimensional verification on Intel and Cortex-M4. IACR Transactions of Cryptographic Hardware and Embedded Systems, 2025(1), 487-522. https://doi.org/10.46586/tches.v2025.i1.497-522

Boudgoust, K. & Roux-Langlois, A. (2024). Overfull: Too Large Aggregate Signatures Based on Lattices. The Computer Journal, 67(2), 719-727. https://doi.org/10.1093/comjnl/bxad013

S. Tellez, E., Aumüller, M. & Mic, V. (2024). Overview of the SISAP 2024 Indexing Challenge. In Similarity Search and Applications. SISAP 2024 (pp. 255–265). Springer. https://doi.org/10.1007/978-3-031-75823-2_21

Griggio, C. F., Gorman, B. M. & Tigwell, G. W. (2024). Party Face Congratulations! Exploring Design Ideas to Help Sighted Users with Emoji Accessibility when Messaging with Screen Reader Users. Proceedings of the ACM on Human-Computer Interaction, 8(CSCW1), Article 175. https://doi.org/10.1145/3641014

Schou, J. K. R. & Wang, B. (2024). PersiSort: A New Perspective on Adaptive Sorting Based on Persistence. In R. I. Nishat (Ed.), Canadian Conference on Computational Geometry: Proceedings of the 36th Canadian Conference on Computational Geometry (CCCG 2024) Brock University, St. Catharines, Canada, July 17 - 19, 2024 (pp. 287-312)

Aumüller, M., Janos Lebeda, C., Nelson, B. & Pagh, R. (2024). PLAN: Variance-Aware Private Mean Estimation. In Proceedings on Privacy Enhancing Technologies (pp. 606-625) https://doi.org/10.56553/popets-2024-0095

Zhu, Y., Honnet, C., Kang, Y., Zhu, J., Zheng, A. J., Heinz, K., Tang, G., Musk, L., Wessely, M. & Mueller, S. (2024). PortaChrome: A Portable Contact Light Source for Integrated Re-Programmable Multi-Color Textures. In UIST '24: Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology (pp. 1-13). Article 18 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3654777.3676458

Filos-Ratsikas, A., Hansen, K. A., Høgh, K. & Hollender, A. (2024). PPAD-Membership for Problems with Exact Rational Solutions: A General Approach via Convex Optimization. In B. Mohar, I. Shinkar & R. O'Donnell (Eds.), STOC 2024 - Proceedings of the 56th Annual ACM Symposium on Theory of Computing (pp. 1204-1215). Association for Computing Machinery, Inc.. https://doi.org/10.1145/3618260.3649645

Wong, E., Esquivel, J. S., Leiva, G., Grønbæk, J. E. & Velloso, E. (2024). Practice-informed Paterns for Organising Large Groups in Distributed Mixed Reality Collaboration. In CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Article 1030 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3613904.3642502

Stassen, P. J. A. (2024). Programming language semantics in modal type theories. Department of Computer Science, University of Aarhus.

Sølvsten, S., Rysgaard, C. M. & van de Pol, J. (2024). Random Access on Narrow Decision Diagrams in External Memory. In T. Neele & A. Wijs (Eds.), Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings (pp. 137–145). Springer. https://doi.org/10.1007/978-3-031-66149-5_7

Displaying results 101 to 150 out of 5571

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University