Publikationer

Søg publikationer fra Institut for Datalogi

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

Sortér efter: Dato | Forfatter | Titel

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. 111-126). IEEE. https://doi.org/10.1109/CSF57540.2023.00008

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

Aranha, D. F. & Medwed, M. (2023). IACR Transactions on Cryptographic Hardware and Embedded Systems. https://tches.iacr.org/index.php/TCHES/issue/view/312

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

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

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

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

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

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.

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

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 UIST '23: Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology 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 28th International Conference on Types for Proofs and Programs, TYPES 2022 artikel 6 https://doi.org/10.4230/LIPIcs.TYPES.2022.6

Nieto Rodriguez, A., Birkedal, L., Gondelman, L., Timany, A. & Daby-Seesaram, A. (Accepteret/In press). Modular Verification of State-Based CRDTs in Separation Logic. Leibniz International Proceedings in Informatics (LIPIcs). 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

Blaabjerg, J. F. & Askarov, A. (Accepteret/In press). OblivIO: Securing reactive programs by oblivious execution with bounded traffic overheads. Afhandling præsenteret på 36th IEEE Computer Security Foundations Symposium, Dubrovnik, Kroatien.

Cheng, P. (2023). On Geometric Range Searching and Its Variants.

Afshani, P., Cheng, P., Basu Roy, A. & Wei, Z. (2023). On Range Summary Queries. I K. Etessami, U. Feige & G. Puppis (red.), 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023) (s. 7:1-7:17). artikel 7 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.

Boudgoust, K., Jeudy, C., Roux-Langlois, A. & Wen, W. (2023). On the Hardness of Module Learning with Errors with Short Distributions. J. Cryptol., 36(1), artikel 1.

Hu, E., Grønbæk, J. E., Hock, A. & Heo, S. (2023). OpenMic: Utilizing Proxemic Metaphors for Conversational Floor Transitions in Multiparty Video Meetings. I CHI 2023 - Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems artikel 793 Association for Computing Machinery. https://doi.org/10.1145/3544548.3581013

Srinivasan, S. & Tripathi, U. (2023). Optimal Explicit Small-Depth Formulas for the Coin Problem. I B. Saha & R. A. Servedio (red.), STOC 2023 - Proceedings of the 55th Annual ACM Symposium on Theory of Computing (s. 881-894). Association for Computing Machinery. https://doi.org/10.1145/3564246.3585238

Shaik, I. & van de Pol, J. (2023). Optimal Layout Synthesis for Quantum Circuits as Classical Planning. I ICCAD'23

Tunç, H. C., Abdulla, P. A., Chakraborty, S., Krishna, S., Mathur, U. & Pavlogiannis, A. (2023). Optimal Reads-From Consistency Checking for C11-Style Memory Models. Proceedings of the ACM on Programming Languages , 7(PLDI), 761–785. artikel 137. https://doi.org/10.1145/3591251

Caragiannis, I. & Schwartzbach, N. I. (2023). Outsourcing Adjudication to Strategic Jurors. I Outsourcing Adjudication to Strategic Jurors

Johns, C. A., Evangelista Belo, J. M., Pfeuffer, K. & Klokmose, C. N. (2023). Pareto Optimal Layouts for Adaptive Mixed Reality. I CHI 2023 - Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems artikel 223 Association for Computing Machinery. https://doi.org/10.1145/3544549.3585732

Grønbæk, J. E., Pfeuffer, K., Velloso, E., Astrup, M., Pedersen, M. S., Kjær, M., Leiva, G. & Gellersen, H. (2023). Partially Blended Realities: Aligning Dissimilar Spaces for Distributed Mixed Reality Meetings. I CHI 2023 - Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems artikel 456 Association for Computing Machinery. https://doi.org/10.1145/3544548.3581515

Munch-Hansen, A., Malozemoff, A. & Rosen, M. (2023). Pecorino: More Efficient Zero-Knowledge for RAM Programs.

Alves, P., Nayara Ortiz, J. & Aranha, D. F. (2023). Performance of hierarchical transforms in homomorphic encryption: a case study on logistic regression inference. Journal of Cryptographic Engineering, 13(3), 295-310. https://doi.org/10.1007/s13389-023-00325-1

Damgård, I., Escudero, D. & Polychroniadou, A. (2023). Phoenix: Secure Computation in an Unstable Network with Dropouts and Comebacks. I K-M. Chung (red.), 4th Conference on Information-Theoretic Cryptography, ITC 2023 (s. 7:1--7:21). artikel 7 Schloss Dagstuhl--Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITC.2023.7

Airiau, S., Aziz, H., Caragiannis, I., Kruger, J., Lang, J. & Peters, D. (2023). Portioning using ordinal preferences: Fairness and efficiency. Artificial Intelligence, 314, artikel 103809. https://doi.org/10.1016/j.artint.2022.103809

Bourneuf, R., Folwarczný, L., Hubáček, P., Rosen, A. & Schwartzbach, N. I. (2023). PPP-Completeness and Extremal Combinatorics. I 14th Innovations in Theoretical Computer Science Conference, ITCS 2023 (s. 1-20). artikel 22 https://doi.org/10.4230/LIPIcs.ITCS.2023.22

Rachuri, S. R. (2023). Practical Multiparty Computation: Approaches to Private Machine Learning.

Liu-Zhang, C-D., Matt, C., Maurer, U., Rito, G. & Thomsen, S. E. (2023). Practical Provably Secure Flooding for Blockchains. I Advances in Cryptology - ASIACRYPT 2022: 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5–9, 2022, Proceedings, Part IV (1 udg., Bind 13794). Springer, Cham. https://eprint.iacr.org/2022/608

Vanegas, H., Carbacas, D. & Aranha, D. F. (Accepteret/In press). Privacy-preserving edit distance computation using secret-sharing protocols. I Progress in Cryptology – LATINCRYPT 2023

Madsen, M. & Pol, J. V. D. (2023). Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism. LIPIcs, 263, 18:1-18:27. https://doi.org/10.4230/LIPIcs.ECOOP.2023.18

Han, W. & Schulz, H-J. (2023). Providing visual analytics guidance through decision support. Information Visualization, 22(2), 140-165. https://doi.org/10.1177/14738716221147289

Munch-Hansen, A. (2023). Quattro Formaggi: Zero-Knowledge from VOLE.

Lunding, M. S., Grønbæk, J. E., Grymer, N., Wells, T., Houben, S. & Petersen, M. G. (Accepteret/In press). Reality & Beyond: Proxemics as a Lens for Designing Handheld Collaborative Augmented Reality. Proceedings of the ACM on Human-Computer Interaction.

Bødker, S., Fox, S., Lalone, N., Marathe, M. & Soden, R. (2023). (Re) Connecting History to the Theory and Praxis of HCI. ACM Transactions on Human Computer Interaction, 30(2), 1-7. artikel 30(2). https://doi.org/10.1145/3589804

Afshani, P. & Killmann, R. (2023). Rectangle stabbing and orthogonal range reporting lower bounds in moderate dimensions. Computational Geometry: Theory and Applications, 111, artikel 101959. https://doi.org/10.1016/j.comgeo.2022.101959

Madsen, M., Starup, J. L. & Lutze, M. (2023). Restrictable Variants: A Simple and Practical Alternative to Extensible Variants. I K. Ali & G. Salvaneschi (red.), 37th European Conference on Object-Oriented Programming, ECOOP 2023 (s. 17:1-17:27). artikel 17 Schloss Dagstuhl--Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ECOOP.2023.17

Chaugule, P., Kumar, M., Limaye, N., Mohapatra, C. K., She, A. & Srinivasan, S. (2023). Schur Polynomials Do Not Have Small Formulas If the Determinant does not. Computational Complexity, 32(1), artikel 3. https://doi.org/10.1007/s00037-023-00236-x

Damgård, I., Ravi, D., Tschudi, D. & Yakoubov, S. (2023). Secure Communication in Dynamic Incomplete Networks. I K-M. Chung (red.), 4th Conference on Information-Theoretic Cryptography, ITC 2023 (s. 13:1--13:21). artikel 13 Schloss Dagstuhl--Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITC.2023.13

Britz, D., Strutwolf, J. & Østerby, O. (2023). Simulation of steady state limiting currents at arrays of square electrodes. Electrochimica Acta, 462, 1-5. artikel 142728. https://doi.org/10.1016/j.electacta.2023.142728

Schwartzbach, N. I. (2023). Smart Contracts and Rationality. Aarhus Universitet.

Tunç, H. C., Mathur, U., Pavlogiannis, A. & Viswanathan, M. (2023). Sound Dynamic Deadlock Prediction in Linear Time. Proceedings of the ACM on Programming Languages , 7, 1733-1758. https://doi.org/10.1145/3591291

Bovo, R., Giunchi, D., Sidenmark, L., Newn, J., Gellersen, H., Costanza, E. & Heinis, T. (Accepteret/In press). Speech-Augmented Cone-of-Vision for Exploratory Data Analysis. I CHI 2023 - Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems artikel 162 https://doi.org/10.1145/3544548.3581283

Viser resultater 51 til 100 ud af 2544

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series