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

Beer, A., Draganov, A., Hohma, E., Jahn, P., Frey, C. M. M. & Assent, I. (2023). Connecting the Dots: Density-Connectivity Distance unifies DBSCAN, k-Center and Spectral Clustering. In KDD 2023 : Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (pp. 80-92). Association for Computing Machinery. https://doi.org/10.1145/3580305.3599283

Evangelista Belo, J. M. (2023). Context-Aware Adaptive User Interfaces for Mixed Reality. [PhD thesis, Aarhus University]. Aarhus Universitet.

Hogräfer, M. (2023). Contributions towards Improving the Usefulness of Partial Visualizations in Progressive Visual Analytics. [PhD thesis, Aarhus University]. Aarhus Universitet.

Chiang, J. H. Y., David, B., Gama, M. & Lebeda, C. J. (2023). Correlated-Output Differential Privacy and Applications to Dark Pools. In J. Bonneau & S. M. Weinberg (Eds.), 5th Conference on Advances in Financial Technologies, AFT 2023 Article 11 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.AFT.2023.11

Baum, C., David, B., Dowsley, R., Kishore, R., Nielsen, J. B. & Oechsner, S. (2023). CRAFT: Composable Randomness Beacons and Output-Independent Abort MPC From Time. In A. Boldyreva & V. Kolesnikov (Eds.), Public-Key Cryptography – PKC 2023: 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, Atlanta, GA, USA, May 7–10, 2023, Proceedings, Part I (Vol. 1, pp. 439-470). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-31368-4_16

Mic, V., Sedmidubsky, J. & Zezula, P. (2023). CRANBERRY: Memory-Effective Search in 100M High-Dimensional CLIP Vectors. In O. Pedreira & V. Estivill-Castro (Eds.), Similarity Search and Applications - 16th International Conference, SISAP 2023, Proceedings (pp. 300-308). Springer. https://doi.org/10.1007/978-3-031-46994-7_26

Abram, D., Beimel, A., Ishai, Y., Kushilevitz, E. & Narayanan, V. (2023). Cryptography from Planted Graphs: Security with Logarithmic-Size Messages. 286-315. Paper presented at Theory of Cryptography. TCC 2023, Taipei, Taiwan.

Campanelli, M., Hall-Andersen, M. N. & Kamp, S. H. (2023). Curve Trees: Practical and Transparent Zero-Knowledge Accumulators. In J. Calandrino & C. Troncoso (Eds.), SEC '23: Proceedings of the 32nd USENIX Conference on Security Symposium (pp. 4391–4408). Article 246 Association for Computing Machinery. https://doi.org/10.5555/3620237.3620483

Elmqvist, N. (2023). Data Analytics Anywhere and Everywhere. Communications of the ACM, 66(12), 52-63. https://doi.org/10.1145/3584858

Zhu, Y., Honnet, C., Kang, Y., Zhu, J., Zheng, A. J., Heinz, K., Tang, G., Musk, L., Wessely, M. & Mueller, S. (2023). Demonstration of ChromoCloth: Re-Programmable Multi-Color Textures through Flexible and Portable Light Source. In UIST 2023 Adjunct - Adjunct Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology Article 73 Association for Computing Machinery. https://doi.org/10.1145/3586182.3615811

Ko, D., Kim, Y., Zhu, J., Wessely, M. & Mueller, S. (2023). Demonstration of FlexBoard: A Flexible Breadboard Platform for Interaction Prototyping on Curved and Deformable Objects. In CHI EA '23: Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems Article 444 Association for Computing Machinery. https://doi.org/10.1145/3544549.3583915

Jacobs, J., Hinrichsen, J. K. & Krebbers, R. (2023). Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl). Proceedings of the ACM on Programming Languages , 7(ICFP), 768-795. Article 214. https://doi.org/10.1145/3607856

Georges, A. L. (2023). Designing and Proving Robust Safety of Efficient Capability Machine Programs. [PhD thesis, Aarhus University]. Aarhus Universitet.

Van Oosterhout, A., Bruns, M. & Hoggan, E. (2023). Designing for Haptic and Embodied Interaction with Feelix. In TEI '23: Proceedings of the Seventeenth International Conference on Tangible, Embedded, and Embodied Interaction Article 66 Association for Computing Machinery. https://doi.org/10.1145/3569009.3571842

Cohen-Addad, V., Saulpic, D. & Schwiegelshohn, C. (2023). Deterministic Clustering in High Dimensional Spaces: Sketches and Approximation. In 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS) (pp. 1105-1130). IEEE. https://doi.org/10.1109/FOCS57990.2023.00066

Damgård, I., Keller, H., Nelson, B., Orlandi, C. & Pagh, R. (2023). Differentially Private Selection from Secure Distributed Computing.

Larsen, K. G., Obremski, M. & Simkin, M. (2023). Distributed Shuffling in Adversarial Environments. In K.-M. Chung (Ed.), 4th Conference on Information-Theoretic Cryptography, ITC 2023 Article 10 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ITC.2023.10

Butcher, P. W. S., Batch, A., Ritsos, P. D. & Elmqvist, N. (2023). Don't Pull the Balrog - Lessons Learned from Designing Wizualization: a Magic-inspired Data Analytics System in XR. In G. Bruder, A.-H. Olivier, A. Cunningham, E. Y. Peng, J. Grubert & I. Williams (Eds.), Proceedings - 2023 IEEE International Symposium on Mixed and Augmented Reality Adjunct, ISMAR-Adjunct 2023 (pp. 234-237). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ISMAR-Adjunct60411.2023.00054

Green, M., Hall-Andersen, M. N., Hennenfent, E., Kaptchuk, G., Perez, B. & Van Laer, G. (2023). Efficient Proofs of Software Exploitability for Real-world Processors. Proceedings on Privacy Enhancing Technologies, 2023(1), 627-640. https://doi.org/10.56553/popets-2023-0036

Jørgensen, J. R. & Assent, I. (2023). EGG-SynC: Exact GPU-parallelized Grid-based Clustering by Synchronization. In Proceedings 26th International Conference on Extending Database Technology ( EDBT 2023 ) (pp. 195-207). openproceedings.org. https://doi.org/10.48786/edbt.2023.16

Bilstrup, K.-E. K. (2023). Embodied Computational Empowerment: Designing Educational Tools for Critical Reflection on Computational Technologies. [PhD thesis, Aarhus University]. Aarhus Universitet.

Boudgoust, K., Jeudy, C., Roux-Langlois, A. & Wen, W. (2023). Entropic Hardness of Module-LWE from Module-NTRU. In T. Isobe & S. Sarkar (Eds.), Progress in Cryptology – INDOCRYPT 2022: 23rd International Conference on Cryptology in India, Kolkata, India, December 11–14, 2022, Proceedings (pp. 78-99). Springer. https://doi.org/10.1007/978-3-031-22912-1_4

Brodal, G. S., Rysgaard, C. M. & Svenning, R. (2023). External Memory Fully Persistent Search Trees. In B. Saha & R. A. Servedio (Eds.), STOC 2023 - Proceedings of the 55th Annual ACM Symposium on Theory of Computing (pp. 1410-1423). Association for Computing Machinery. https://doi.org/10.1145/3564246.3585140

Koutra, D., Mottin, D. & Zhu, J. (2023). Fact summarization for personalized knowledge graphs. In Personal Knowledge Graphs (PKGs): Methodology, tools and applications (pp. 239-254). Institution of Engineering and Technology. https://doi.org/10.1049/PBPC063E_ch10

Chiang, J. H. Y., David, B., Eyal, I. & Gong, T. (2023). FairPoS: Input Fairness in Permissionless Consensus. In J. Bonneau & S. M. Weinberg (Eds.), 5th Conference on Advances in Financial Technologies, AFT 2023 Article 10 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.AFT.2023.10

Madsen, M., Van De Pol, J. & Henriksen, T. (2023). Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems. Proceedings of the ACM on Programming Languages , 7(OOPSLA2), 516–543. Article 240. https://doi.org/10.1145/3622816

Larsen, K. G. (2023). Fast Discrepancy Minimization with Hereditary Guarantees. In N. Bansal & V. Nagarajan (Eds.), Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) (pp. 276-289). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611977554.ch11

Aranha, D. F., Hvass, B. S., Spitters, B. & Tibouchi, M. (2023). Faster constant-time evaluation of the Kronecker symbol with application to elliptic curve hashing. In CCS'23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (pp. 3228-3238). Association for Computing Machinery. https://doi.org/10.1145/3576915.3616597

Haselwarter, P. G. & Bauer, A. (2023). Finitary Type Theories With and Without Contexts. Journal of Automated Reasoning, 67(4), Article 36. https://doi.org/10.1007/s10817-023-09678-y

Schwiegelshohn, C. (2023). Fitting Data on a Grain of Rice. In I. Chatzigiannakis & I. Karydis (Eds.), Algorithmic Aspects of Cloud Computing: 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers (pp. 1-8). Springer. https://doi.org/10.1007/978-3-031-49361-4_13

Ko, D., Kim, Y., Zhu, J., Wessely, M. & Mueller, S. (2023). FlexBoard: A Flexible Breadboard for Interaction Prototyping on Curved and Deformable Surfaces. In CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Article 733 Association for Computing Machinery. https://doi.org/10.1145/3544548.3580748

Nielsen, E. H., Annenkov, D. & Spitters, B. (2023). Formalising Decentralised Exchanges in Coq. In R. Krebbers, D. Traytel, B. Pientka & S. Zdancewic (Eds.), CPP '23: 12th ACM SIGPLAN International Conference on Certified Programs and Proofs (pp. 290-302). Association for Computing Machinery. https://doi.org/10.1145/3573105.3575685

Horst, M., Iversen, O. S. & Petersen, M. G. (2023). Forskere: Mens vi diskuterer skærme i skolen, sætter resten af Europa digital teknologi på skemaet. Altinget.

Hvass, B. S. (2023). Foundational Verification of Cryptographic Primitives. [PhD thesis, Aarhus University]. Aarhus Universitet.

Müller, M., Schuster, P., Starup, J. L., Ostermann, K. & Brachthäuser, J. I. (2023). From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers. Proceedings of the ACM on Programming Languages , 7(OOPSLA2), Article 255. https://doi.org/10.1145/3622831

Brodal, G. S. & Wild, S. (2023). Funnelselect: Cache-Oblivious Multiple Selection. In I. Li Gortz, M. Farach-Colton, S. J. Puglisi & G. Herman (Eds.), 31st Annual European Symposium on Algorithms, ESA 2023 (pp. 25:1-25:17). Article 25 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2023.25

Braun, L., Huppert, M., Khayata, N., Schneider, T. & Tkachenko, O. (2023). FUSE - Flexible File Format and Intermediate Representation for Secure Multi-Party Computation. In J. Liu, Y. Xiang, S. Nepal & G. Tsudik (Eds.), ASIA CCS 2023 - Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security (pp. 649-663). Association for Computing Machinery. https://doi.org/10.1145/3579856.3590340

Hu Fleischhauer, Y., Surale, H. B., Alt, F. & Pfeuffer, K. (2023). Gaze-based Mode-Switching to Enhance Interaction with Menus on Tablets. In S. N. Spencer (Ed.), Proceedings of the 2023 Symposium on Eye Tracking Research and Applications (pp. 1-8). Article 7 Association for Computing Machinery. https://doi.org/10.1145/3588015.3588409

Sidenmark, L., Lystbæk, M. N. & Gellersen, H. (2023). GE-Simulator: An Open-Source Tool for Simulating Real-Time Errors for HMD-based Eye Trackers. In S. N. Spencer (Ed.), Proceedings of the 2023 Symposium on Eye Tracking Research and Applications (pp. 1-6). Article 8 Association for Computing Machinery. https://doi.org/10.1145/3588015.3588417

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

Schäfer, Z., Mathisen, A., Thomsen, T. R., Rossing, P. & Kirketerp-Møller, K. (2023). Glucagon-like peptide-1 treatment reduces the risk of diabetes-type 2 related amputations: A cohort study in Denmark. Diabetes Research and Clinical Practice, 202, Article 110799. https://doi.org/10.1016/j.diabres.2023.110799

Hermanns, J., Skitsas, K., Tsitsulin, A., Munkhoeva, M., Kyster, A., Nielsen, S., Bronstein, A. M., Mottin, D. & Karras, P. (2023). GRASP: Scalable Graph Alignment by Spectral Corresponding Functions. ACM Transactions on Knowledge Discovery from Data, 17(4), 1-26. Article 50. https://doi.org/10.1145/3561058

Barman, S., Khan, A., Shyam, S. & Sreenivas, K. V. N. (2023). Guaranteeing Envy-Freeness under Generalized Assignment Constraints. EC 2023 - Proceedings of the 24th ACM Conference on Economics and Computation, 242-269. https://doi.org/10.1145/3580507.3597698

Grønbæk, K. (2023). Har kunstig intelligens gjort os bange for vores egen skygge? In sciencereport.dk

Blundo, C., Cimato, S. & Siniscalchi, L. (2023). Heuristics for constrained role mining in the post-processing framework. Journal of Ambient Intelligence and Humanized Computing, 14(8), 9925-9937. https://doi.org/10.1007/s12652-021-03648-1

Hvass, B. S., Aranha, D. F. & Spitters, B. (2023). High-assurance field inversion for curve-based cryptography. In 2023 IEEE 36th Computer Security Foundations Symposium (CSF) (pp. 552-567). IEEE. https://doi.org/10.1109/CSF57540.2023.00008

Gregersen, S. O. (2023). Higher-Order Separation Logic for Distributed Systems and Security. [PhD thesis, Aarhus University]. Aarhus Universitet.

Yamasaki, S., Sasaki, Y., Karras, P. & Onizuka, M. (2023). Holistic Prediction on a Time-Evolving Attributed Graph. Proceedings of the Annual Meeting of the Association for Computational Linguistics, 61(1), 13676-13694. https://doi.org/10.18653/v1/2023.acl-long.765

Kohlweiss, M., Pancholi, M. R. & Takahashi, A. (2023). How to Compile Polynomial IOP into Simulation-Extractable SNARKs: A Modular Approach. In G. Rothblum & H. Wee (Eds.), Theory of Cryptography: Book Subtitle 21st International Conference, TCC 2023, Taipei, Taiwan, November 29–December 2, 2023, Proceedings, Part III (pp. 486–512). Springer. https://doi.org/10.1007/978-3-031-48621-0_17

Fleischhacker, N., Larsen, K. G. & Simkin, M. (2023). How to Compress Encrypted Data. In C. Hazay & M. Stam (Eds.), Advances in Cryptology – EUROCRYPT 2023: 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part I (pp. 551-577). Springer. https://doi.org/10.1007/978-3-031-30545-0_19

Displaying results 451 to 500 out of 5797

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University