Aarhus Universitets segl

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

Freksen, C. B. (2020). A Song of Johnson and Lindenstrauss. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.
Abspoel, M., Cramer, R., Damgård, I., Escudero, D., Rambaud, M., Xing, C. & Yuan, C. (2020). Asymptotically Good Multiplicative LSSS over Galois Rings and Applications to MPC over Z/pkZ. I S. Moriai & H. Wang (red.), Advances in Cryptology – ASIACRYPT 2020 - 26th International Conference on the Theory and Application of Cryptology and Information Security, 2020, Proceedings (Bind III, s. 151-180). Springer. https://doi.org/10.1007/978-3-030-64840-4_6
Oortwijn, W., Huisman, M., Joosten, S. J. C. & van de Pol, J. (2020). Automated verification of parallel nested DFS. I A. Biere & D. Parker (red.), Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part I (s. 247-265). Springer. https://doi.org/10.1007/978-3-030-45190-5_14
Nouwens, M., Borowski, M., Fog, B. V. & Klokmose, C. N. (2020). Between Scripts and Applications: Computational Media for the Frontier of Nanoscience. I CHI 2020 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems Artikel 3376287 Association for Computing Machinery. https://doi.org/10.1145/3313831.3376287
Han, W. & Schulz, H.-J. (2020). Beyond Trust Building - Calibrating Trust in Visual Analytics. I Proceedings - 2020 IEEE Workshop on TRust and EXpertise in Visual Analytics, TREX 2020: Proceedings (s. 9-15). Artikel 9307969 IEEE. https://doi.org/10.1109/TREX51495.2020.00006
Damgård, I., Orlandi, C. & Simkin, M. (2020). Black-box transformations from passive to covert security with public verifiability. I D. Micciancio & T. Ristenpart (red.), Advances in Cryptology - CRYPTO 2020 (Bind Cham, s. 647-676). Springer. https://doi.org/10.1007/978-3-030-56880-1_23
Dalskov, A. P. K. (2020). Cats or Croissants? Techniques for Secure Inference. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.
Wimmer, S., Herbreteau, F. & van de Pol, J. (2020). Certifying Emptiness of Timed Büchi Automata. I N. Bertrand & N. Jansen (red.), Formal Modeling and Analysis of Timed Systems : 18th International Conference, FORMATS 2020 (s. 58-75). Springer. https://doi.org/10.1007/978-3-030-57628-8_4
Dalskov, A. P. K., Lee, E. & Soria Vazquez, E. (2020). Circuit Amortization Friendly Encodings and their Application to Statistically Secure Multiparty Computation. I S. Moriai & H. Wang (red.), Advances in Cryptology – ASIACRYPT 2020: 26th International Conference on the Theory and Application of Cryptology and Information Security, Daejeon, South Korea, December 7–11, 2020, Proceedings (Bind III). Springer.
Dalskov, A., Lee, E. & Soria-Vazquez, E. (2020). Circuit Amortization Friendly Encodingsand Their Application to Statistically Secure Multiparty Computation. I S. Moriai & H. Wang (red.), Advances in Cryptology – ASIACRYPT 2020 - 26th International Conference on the Theory and Application of Cryptology and Information Security, 2020, Proceedings (s. 213-243). Springer. https://doi.org/10.1007/978-3-030-64840-4_8
Green Larsen, K., Mitzenmacher, M. & Tsourakakis, C. (2020). Clustering with a faulty oracle. I Y. Huang, I. King, T.-Y. Liu & M. van Steen (red.), WWW '20: Proceedings of The Web Conference 2020 (s. 2831-2834). Association for Computing Machinery. https://doi.org/10.1145/3366423.3380045
Tu, S., Aslay, C. & Gionis, A. (2020). Co-exposure maximization in online social networks. I H. Larochelle, M. Ranzato, R. Hadsell, M. F. Balcan & H. Lin (red.), Advances in Neural Information Processing Systems: NeurIPS 2020 (Bind 33). Neural Information Processing Systems Foundation. https://proceedings.neurips.cc/paper/2020/hash/212ab20dbdf4191cbcdcf015511783f4-Abstract.html
Dellana, S. G., Johansson, S., Poulsen, S. B., Van Oosterhout, A., Skov, M. & Merritt, T. (2020). Collaboration around an Interactive Tabletop Map: Comparing Voice Interactions and a Tangible Shape-changing Controller. I J. Cauchard & M. Lochtefeld (red.), MUM 2020 - 19th International Conference on Mobile and Ubiquitous Multimedia, Proceedings (s. 132-142). Association for Computing Machinery. https://doi.org/10.1145/3428361.3428395
Larsen-Ledet, I., Korsgaard, H. & Bødker, S. (2020). Collaborative Writing Across Multiple Artifact Ecologies. I CHI 2020 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems Artikel 3376422 Association for Computing Machinery. https://doi.org/10.1145/3313831.3376422
Lyle, P. J. & Korsgaard, H. (2020). Community Values and Technological Mechanisms: Learning from The Amish?. 5. Afhandling præsenteret på Studying Technical Mechanisms for Supporting Sharing Communities, Siegen, Tyskland.
Annenkov, D., Botsch Nielsen, J. & Spitters, B. (2020). ConCert: A smart contract certification framework in Coq. I Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’20), January 20-21, 2020, New Orleans, LA, USA (s. 215-228). Association for Computing Machinery. https://doi.org/10.1145/3372885.3373829
Baum, C. & Nof, A. (2020). Concretely-Efficient Zero-Knowledge Arguments for Arithmetic Circuits and Their Application to Lattice-Based Cryptography. I A. Kiayias, M. Kohlweiss, P. Wallden & V. Zikas (red.), Public-Key Cryptography – PKC 2020 - 23rd IACR International Conference on Practice and Theory of Public-Key Cryptography, Proceedings (Bind 1, s. 495-526). Springer. https://doi.org/10.1007/978-3-030-45374-9_17
Faust, S., Mukherjee, P., Nielsen, J. B. & Venturi, D. (2020). Continuously Non-malleable Codes in the Split-State Model. Journal of Cryptology, 33(4), 2034-2077. https://doi.org/10.1007/s00145-020-09362-z
Boyle, E., Couteau, G., Gilboa, N., Ishai, Y., Kohl, L. & Scholl, P. (2020). Correlated Pseudorandom Functions from Variable-Density LPN. I S. Irani (red.), Proceedings - 2020 IEEE 61st Annual Symposium on Foundations of Computer Science, FOCS 2020 (s. 1069-1080). Artikel 9317926 IEEE. https://doi.org/10.1109/FOCS46700.2020.00103
Ganesh, C., Magri, B. & Venturi, D. (2020). Cryptographic reverse firewalls for interactive proof systems. I A. Czumaj, A. Dawar & E. Merelli (red.), 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020 (s. 55:1-55:16). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ICALP.2020.55
Bizjak, A. & Møgelberg, R. E. (2020). Denotational semantics for guarded dependent type theory. Mathematical Structures in Computer Science, 30(4), 342-378. https://doi.org/10.1017/S0960129520000080
Winther, F., Ravindran, L., Svendsen, K. P. & Feuchtner, T. (2020). Design and Evaluation of a VR Training Simulation for Pump Maintenance. I CHI EA 2020 - Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems (s. CS16 1-8). Artikel 3375213 Association for Computing Machinery. https://doi.org/10.1145/3334480.3375213
Winther, F., Ravindran, L., Svendsen, K. P. & Feuchtner, T. (2020). Design and Evaluation of a VR Training Simulation for Pump Maintenance Based on a Use Case at Grundfos. I Proceedings - 2020 IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2020 (s. 738-746). Artikel 9089646 IEEE. https://doi.org/10.1109/VR46266.2020.1580939036664
Victor Kobbelgaard, F., Bødker, S. & Kanstrup, A. M. (2020). Designing a game to explore human artefact ecologies for assistive robotics: Basing design games on an activity theoretical framework. I NordiCHI '20: Proceedings of the 11th Nordic Conference on Human-Computer Interaction: : Shaping Experiences, Shaping Society (s. 1-10). Artikel 27 Elsevier. https://doi.org/10.1145/3419249.3420181
Olin, P. A., Issa, A. M., Feuchtner, T. & Grønbæk, K. (2020). Designing for Heterogeneous Cross-Device Collaboration and Social Interaction in Virtual Reality. I N. Ahmadpour, T. Leong, B. Ploderer, C. Parker, S. Webber, D. Munoz, L. Loke & M. Tomitsch (red.), Proceedings of the 32nd Australian Computer-Human Interaction Conference, OzCHI 2020 (s. 112-127). Association for Computing Machinery. https://doi.org/10.1145/3441000.3441070
Schaefer, Z., Haab, L., Schwerdtfeger, K., Takahashi, K. & Strauss, D. J. (2020). Detection of information flow between cortical laminae activities and auditory evoked potentials in rats by means of Granger causality. I 42nd Annual International Conferences of the IEEE Engineering in Medicine and Biology Society (EMBC) (s. 876-879). IEEE. https://doi.org/10.1109/EMBC44109.2020.9176719
Kavvos, G. A. (2020). Dual-context calculi for modal logic. Logical Methods in Computer Science, 16(3), 10:1-10:66. https://doi.org/10.23638/LMCS-16(3:10)2020
Schivo, S., Khurana, S., Govindaraj, K., Scholma, J., Kerkhofs, J., Zhong, L., Huang, X., van de Pol, J., Langerak, R., van Wijnen, A. J., Geris, L., Karperien, M. & Post, J. N. (2020). ECHO, the executable CHOndrocyte: A computational model to study articular chondrocytes in health and disease. Cellular Signalling, 68, Artikel 109471. https://doi.org/10.1016/j.cellsig.2019.109471
Korsgaard, H., Lewkowicz, M., Boden, A., Bødker, S. & Avram, G. (2020). ECSCW Workshop: Studying Technical Mechanisms for Supporting Sharing Communities. Abstract fra The 18th European Virtual Conference on
Computer-Supported Cooperative Work, Siegen, Tyskland. https://cio.cs.au.dk/ecscw-workshop/pdfs/eCSCW_workshop__Technical_Mechanisms_for_supporting_sharing_communities.pdf
Birkedal, L. (2020). Editorial message. Proceedings of the ACM on Programming Languages , 4(POPL).
Baum, C., Orsini, E., Scholl, P. & Soria-Vazquez, E. (2020). Efficient constant-round mpc with identifiable abort and public verifiability. I D. Micciancio & T. Ristenpart (red.), Advances in Cryptology - CRYPTO 2020 (s. 562-592). Springer. https://doi.org/10.1007/978-3-030-56880-1_20
Baum, C., Escudero, D., Pedrouzo-Ulloa, A., Scholl, P. & Troncoso-Pastoriza, J. R. (2020). Efficient protocols for oblivious linear function evaluation from ring-LWE. I C. Galdi & V. Kolesnikov (red.), Security and Cryptography for Networks (s. 130-149). Springer. https://doi.org/10.1007/978-3-030-57990-6_7
Boyle, E., Couteau, G., Gilboa, N., Ishai, Y., Kohl, L. & Scholl, P. (2020). Efficient pseudorandom correlation generators from ring-lpn. I D. Micciancio & T. Ristenpart (red.), Advances in Cryptology - CRYPTO 2020 (s. 387-416). Springer. https://doi.org/10.1007/978-3-030-56880-1_14
Borowski, M., Zagermann, J., Klokmose, C. N., Reiterer, H. & Rädle, R. (2020). Exploring the Benefits and Barriers of Using Computational Notebooks for Collaborative Programming Assignments. I SIGCSE '20: Proceedings of the 51st ACM Technical Symposium on Computer Science Education (s. 468–474). Association for Computing Machinery. https://doi.org/10.1145/3328778.3366887
Han, W. & Schulz, H.-J. (2020). Exploring Vibrotactile Cues for Interactive Guidance in Data Visualization. I Proceedings of the 13th International Symposium on Visual Information Communication and Interaction, VINCI 2020 Artikel 3430042 Association for Computing Machinery. https://doi.org/10.1145/3430036.3430042
Staicu, C. A., Torp, M. T., Schafer, M., Møller, A. & Pradel, M. (2020). Extracting Taint Specifications for JavaScript Libraries. I ICSE '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering (s. 198-209). Artikel 3380390 Association for Computing Machinery. https://doi.org/10.1145/3377811.3380390
van Oosterhout, A., Bruns, M. & Hoggan, E. (2020). Facilitating Flexible Force Feedback Design with Feelix. I ICMI 2020 - Proceedings of the 2020 International Conference on Multimodal Interaction (s. 184–193). Association for Computing Machinery. https://doi.org/10.1145/3382507.3418819
Logins, A., U, L. H. & Karras, P. (2020). Fair Cruising. Manuskript afsendt til publicering. I Proceedings of the ACM SIGKDD Conference on Knowledge Discovery and Data Mining 2020
Tzavelis, N., Giannakopoulos, I., Johansen, R. Q., Doka, K., Koziris, N. & Karras, P. (2020). Fair Procedures for Fair Stable Marriage Outcomes. I AAAI 2020 - 34th AAAI Conference on Artificial Intelligence (Bind 34, no. 5, s. 7269-7276). AAAI Press. https://doi.org/10.1609/aaai.v34i05.6218
Asadi, A., Chatterjee, K., Goharshady, A. K., Mohammadi, K. & Pavlogiannis, A. (2020). Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. I D. Van Hung & O. Sokolsky (red.), Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings (s. 253-270). Springer. https://doi.org/10.1007/978-3-030-59152-6_14
Pavlogiannis, A. (2020). Fast, Sound, and Effectively Complete Dynamic Race Prediction. Proceedings of the ACM on Programming Languages , 4(POPL), 1-29. Artikel 17. https://doi.org/10.1145/3371085
Damgård, I., Jakobsen, T. P., Nielsen, J. B., Pagter, J. I. & Østergaard, M. B. (2020). Fast threshold ECDSA with honest majority. I C. Galdi & V. Kolesnikov (red.), Security and Cryptography for Networks (s. 382-400). Springer. https://doi.org/10.1007/978-3-030-57990-6_19