Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

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

Aranha, D. F., Battagliola, M. & Roy, L. D. (Accepteret/In press). Faster coercion-resistant e-voting by encrypted sorting. I Proceedings of E-Vote-ID 2023 Tartu University Press.

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. I CCS'23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (s. 3228-3238). Association for Computing Machinery. https://doi.org/10.1145/3576915.3616597

Ganesh, C., Orlandi, C., Pancholi, M. R., Takahashi, A. & Tschudi, D. (2023). Fiat-Shamir Bulletproofs are Non-Malleable (in the Random Oracle Model). Manuskript afsendt til publicering. https://eprint.iacr.org/2023/147

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

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

Nielsen, E. H., Annenkov, D. & Spitters, B. (2023). Formalising Decentralised Exchanges in Coq. I R. Krebbers, D. Traytel, B. Pientka & S. Zdancewic (red.), CPP '23: 12th ACM SIGPLAN International Conference on Certified Programs and Proofs (s. 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), Artikel 255. https://doi.org/10.1145/3622831

Brodal, G. S. & Wild, S. (2023). Funnelselect: Cache-Oblivious Multiple Selection. I I. Li Gortz, M. Farach-Colton, S. J. Puglisi & G. Herman (red.), 31st Annual European Symposium on Algorithms, ESA 2023 (s. 25:1-25:17). Artikel 25 Schloss Dagstuhl--Leibniz-Zentrum für Informatik. 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. I J. Liu, Y. Xiang, S. Nepal & G. Tsudik (red.), ASIA CCS 2023 - Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security (s. 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. I S. N. Spencer (red.), Proceedings of the 2023 Symposium on Eye Tracking Research and Applications (s. 1-8). Artikel 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. I S. N. Spencer (red.), Proceedings of the 2023 Symposium on Eye Tracking Research and Applications (s. 1-6). Artikel 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, Artikel 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. Artikel 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? I 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. I 2023 IEEE 36th Computer Security Foundations Symposium (CSF) (s. 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. I G. Rothblum & H. Wee (red.), Theory of Cryptography: Book Subtitle 21st International Conference, TCC 2023, Taipei, Taiwan, November 29–December 2, 2023, Proceedings, Part III (s. 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. I C. Hazay & M. Stam (red.), 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 (s. 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. I M. Stolze, F. Loch, M. Baldauf, F. Alt, C. Schneegass, T. Kosch, T. Hirzle, S. Sadeghian, F. Draxler, K. Bektas, K. Lohan & P. Knierim (red.), Proceedings of Mensch Und Computer 2023 (s. 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 Bind 2023 Nr. 1-4 https://tches.iacr.org/index.php/TCHES/issue/view/312

Caragiannis, I., Christodoulou, G. & Protopapas, N. (2023). Impartial Selection with Prior Information. I Y. Ding, J. Tang, J. Sequeda, L. Aroyo, C. Castillo & G.-J. Houben (red.), WWW '23: Proceedings of the ACM Web Conference 2023 (s. 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. I W. Meng, C. D. Jensen, C. Cremers & E. Kirda (red.), CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (s. 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

Madsen, M. S. & Ovesen, T. (2023). Investigation and treatment of tinnitus. Ugeskrift for Læger, 185(3).

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, Artikel 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. I KDD 2023 - Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (s. 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. I N. Megow & A. Smith (red.), Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques, APPROX/RANDOM 2023 Artikel 41 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 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. I E. W. Chambers & J. Gudmundsson (red.), 39th International Symposium on Computational Geometry, SoCG 2023 Artikel 3 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 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. Artikel 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. I B. Williams, Y. Chen & J. Neville (red.), AAAI-23 Technical Tracks 10 (s. 12269-12277). Artikel 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. Artikel 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. I C. Hazay & M. Stam (red.), 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 (s. 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. I S. Follmer, J. Han, J. Steimle & N. Henry Riche (red.), UIST '23: Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology Artikel 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. I D. Kesner & P.-M. Pedrot (red.), 28th International Conference on Types for Proofs and Programs Artikel 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. I A. Komninos, C. Santoro, D. Gavalas, J. Schoening, M. Matera & L. A. Leiva (red.), Proceedings of the 25th International Conference on Mobile Human-Computer Interaction, MobileHCI 2023 Companion Artikel 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. I K. Ali & G. Salvaneschi (red.), 37th European Conference on Object-Oriented Programming, ECOOP 2023 Artikel 22 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 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. I K.-M. Chung (red.), 4th Conference on Information-Theoretic Cryptography, ITC 2023 (s. 11:1-11:22). Artikel 11 Schloss Dagstuhl--Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITC.2023.11

Francati, D., Friolo, D., Malavolta, G. & Venturi, D. (2023). Multi-key and Multi-input Predicate Encryption from Learning with Errors. I C. Hazay & M. Stam (red.), 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 III (s. 573-604). Springer. https://doi.org/10.1007/978-3-031-30620-4_19

Korreman, S. S., Behrens, C. P., Hansen, V. N., Thygesen, J. & Andersen, T. L. (2023). New technologies from bench to bedside - report from the Nordic association for clinical physics 2023 symposium. Acta oncologica (Stockholm, Sweden), 62(10), 1157-1160. https://doi.org/10.1080/0284186X.2023.2262111

Viser resultater 201 til 250 ud af 2822

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series