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

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

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, Inc.. 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. Århus 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

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. Århus 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

Abdrabou, Y., Mecke, L., Rivu, R., Prange, S., Nguyen, Q. D., Voigt, V., Alt, F. & Pfeuffer, K. (2023). How Unique do we Move? Understanding the Human Body and Context Factors for User Identification. In M. Stolze, F. Loch, M. Baldauf, F. Alt, C. Schneegass, T. Kosch, T. Hirzle, S. Sadeghian, F. Draxler, K. Bektas, K. Lohan & P. Knierim (Eds.), Proceedings of Mensch Und Computer 2023 (pp. 127-137). Association for Computing Machinery. https://doi.org/10.1145/3603555.3603574

Aranha, D. F. & Medwed, M. (2023). IACR Transactions on Cryptographic Hardware and Embedded Systems. Ruhr Universität Bochum. IACR Transactions of Cryptographic Hardware and Embedded Systems Vol. 2023 No. 1-4 https://tches.iacr.org/index.php/TCHES/issue/view/312

Caragiannis, I., Christodoulou, G. & Protopapas, N. (2023). Impartial Selection with Prior Information. In Y. Ding, J. Tang, J. Sequeda, L. Aroyo, C. Castillo & G.-J. Houben (Eds.), WWW '23: Proceedings of the ACM Web Conference 2023 (pp. 3614-3624). Association for Computing Machinery. https://doi.org/10.1145/3543507.3583553

Shaik, I., Mayer-Eichberger, V., van de Pol, J. & Saffidine, A. (2023). Implicit State and Goals in QBF Encodings for Positional Games (extended version). https://doi.org/10.48550/arXiv.2301.07345

Burkhardt, J., Damgård, I., Frederiksen, T. K., Orlandi, C. & Ghosh, S. (2023). Improved Distributed RSA Key Generation Using the Miller-Rabin Test. In W. Meng, C. D. Jensen, C. Cremers & E. Kirda (Eds.), CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (pp. 2501-2515). Association for Computing Machinery. https://doi.org/10.1145/3576915.3623163

Johns, C. A., Barz, M. & Sonntag, D. (2023). Interactive Link Prediction as a Downstream Task for Foundational GUI Understanding Models. Lecture Notes in Computer Science, 14236, 75-89. https://doi.org/10.1007/978-3-031-42608-7_7

Rao, X., Georges, A. L., Legoupil, M., Watt, C., Pichon-Pharabod, J., Gardner, P. & Birkedal, L. (2023). Iris-Wasm: Robust and Modular Verification of WebAssembly Programs. Proceedings of the ACM on Programming Languages , 7, Article 151. https://doi.org/10.1145/3591265

Wu, S., Hou U, L. & Karras, P. (2023). k-Best Egalitarian Stable Marriages for Task Assignment. Proceedings of the VLDB Endowment, 16(11), 3240-3252. https://doi.org/10.14778/3611479.3611522

Zhong, Z. & Mottin, D. (2023). Knowledge-augmented Graph Machine Learning for Drug Discovery: From Precision to Interpretability. In KDD 2023 - Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (pp. 5841-5842). Association for Computing Machinery, Inc.. https://doi.org/10.1145/3580305.3599563

Veileborg, O. H. (2023). Localized Static Program Analysis for Optimization and Error Detection. Århus Universitet.

Amireddy, P., Srinivasan, S. & Sudan, M. (2023). Low-Degree Testing over Grids. In N. Megow & A. Smith (Eds.), Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques, APPROX/RANDOM 2023 Article 41 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2023.41

Afshani, P. & Cheng, P. (2023). Lower Bounds for Intersection Reporting Among Flat Objects. In E. W. Chambers & J. Gudmundsson (Eds.), 39th International Symposium on Computational Geometry, SoCG 2023 Article 3 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2023.3

Afshani, P. & Cheng, P. (2023). Lower Bounds for Semialgebraic Range Searching and Stabbing Problems. Journal of the ACM, 70(2), 1-26. Article 16. https://doi.org/10.1145/3578574

Mortensen, K. O., Zardbani, F., Haque, M. A., Agustsson, S. Y., Mottin, D., Hofmann, P. & Karras, P. (2023). Marigold: Efficient k-means Clustering in High Dimensions. Proceedings of the VLDB Endowment, 16(7), 1740-1748. https://doi.org/10.14778/3587136.3587147

Petsinis, P., Pavlogiannis, A. & Karras, P. (2023). Maximizing the Probability of Fixation in the Positional Voter Model. In B. Williams, Y. Chen & J. Neville (Eds.), AAAI-23 Technical Tracks 10 (pp. 12269-12277). Article 190493 AAAI Press.

Guéneau, A., Hostert, J., Spies, S., Sammler, M., Birkedal, L. & Dreyer, D. (2023). Melocoton: A Program Logic for Verified Interoperability Between OCaml and C. Proceedings of the ACM on Programming Languages , 7(OOPSLA2), 716-744. Article 247. https://doi.org/10.1145/3622823

Thomsen, S. E. (2023). Message Dissemination in the Nakamoto Era. Århus Universitet.

Damgård, I., Ravi, D., Siniscalchi, L. & Yakoubov, S. (2023). Minimizing Setup in Broadcast-Optimal Two Round MPC. 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 II (pp. 129-158). Springer. https://doi.org/10.1007/978-3-031-30617-4_5

Grønbæk, J. E., Borowski, M., Hoggan, E., Mackay, W., Beaudouin-Lafon, M. & Klokmose, C. N. (2023). Mirrorverse: Live Tailoring of Video Conferencing Interfaces. In S. Follmer, J. Han, J. Steimle & N. Henry Riche (Eds.), UIST '23: Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology Article 14 Association for Computing Machinery. https://doi.org/10.1145/3586183.3606767

Stassen, P. J. A., Gratzer, D. & Birkedal, L. (2023). mitten: A Flexible Multimodal Proof Assistant. In D. Kesner & P.-M. Pedrot (Eds.), 28th International Conference on Types for Proofs and Programs Article 6 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.TYPES.2022.6

Schneiders, E., Boudouraki, A., Reyes-Cruz, G., Martinez Avila, J. P., Elmimouni, H., Grønbæk, J. E. S., Rintel, S. & Joshi, S. (2023). Mobility and Utility in Robot Mediated Interaction: An Interactive Workshop for the Identification of Use Cases and Affordances of Telepresence Robots. In A. Komninos, C. Santoro, D. Gavalas, J. Schoening, M. Matera & L. A. Leiva (Eds.), Proceedings of the 25th International Conference on Mobile Human-Computer Interaction, MobileHCI 2023 Companion Article 34 Association for Computing Machinery. https://doi.org/10.1145/3565066.3609791

Nieto, A., Daby-Seesaram, A., Gondelman, L., Timany, A. & Birkedal, L. (2023). Modular Verification of State-Based CRDTs in Separation Logic. In K. Ali & G. Salvaneschi (Eds.), 37th European Conference on Object-Oriented Programming, ECOOP 2023 Article 22 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2023.22

Keller, H., Orlandi, C., Paskin-Cherniavsky, A. & Ravi, D. (2023). MPC with Low Bottleneck-Complexity: Information-Theoretic Security and More. In K.-M. Chung (Ed.), 4th Conference on Information-Theoretic Cryptography, ITC 2023 (pp. 11:1-11:22). Article 11 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ITC.2023.11

Displaying results 201 to 250 out of 5490

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University