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. In S. Moriai & H. Wang (Eds.),
Advances in Cryptology – ASIACRYPT 2020 (Vol. III, pp. 151-180). Springer. Lecture Notes in Computer Science Vol. 12493
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. In A. Biere & D. Parker (Eds.),
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 (pp. 247-265). Springer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 12078 LNCS
https://doi.org/10.1007/978-3-030-45190-5_14
Dalskov, A. P. K., Lee, E.
& Soria Vazquez, E. (2020).
Circuit Amortization Friendly Encodings and their Application to Statistically Secure Multiparty Computation. In S. Moriai & H. Wang (Eds.),
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 (Vol. III). Springer. Lecture Notes in Computer Science Vol. 12493
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. In J. Cauchard & M. Lochtefeld (Eds.),
MUM 2020 - 19th International Conference on Mobile and Ubiquitous Multimedia, Proceedings (pp. 132-142). Association for Computing Machinery. ACM International Conference Proceeding Series
https://doi.org/10.1145/3428361.3428395
Annenkov, D., Botsch Nielsen, J. & Spitters, B. (2020).
ConCert: A smart contract certification framework in Coq. In
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’20), January 20-21, 2020, New Orleans, LA, USA (pp. 215-228). Association for Computing Machinery. CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020
https://doi.org/10.1145/3372885.3373829
Boyle, E., Couteau, G., Gilboa, N., Ishai, Y., Kohl, L.
& Scholl, P. (2020).
Correlated Pseudorandom Functions from Variable-Density LPN. In S. Irani (Ed.),
2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS) (pp. 1069-1080). IEEE.
https://doi.org/10.1109/FOCS46700.2020.00103
Ganesh, C.
, Magri, B. & Venturi, D. (2020).
Cryptographic reverse firewalls for interactive proof systems. In A. Czumaj, A. Dawar & E. Merelli (Eds.),
47th International Colloquium on Automata, Languages, and Programming, ICALP 2020 (pp. 55:1-55:16). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Vol. 168
https://doi.org/10.4230/LIPIcs.ICALP.2020.55
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. In N. Ahmadpour, T. Leong, B. Ploderer, C. Parker, S. Webber, D. Munoz, L. Loke & M. Tomitsch (Eds.),
OzCHI’20: Proceedings of the 32nd Australian Conference on Human-Computer- Interaction (pp. 112-127). Association for Computing Machinery.
https://doi.org/10.1145/3441000.3441070
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, [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 from The 18th European Virtual Conference on
Computer-Supported Cooperative Work, Siegen, Germany.
https://cio.cs.au.dk/ecscw-workshop/pdfs/eCSCW_workshop__Technical_Mechanisms_for_supporting_sharing_communities.pdf
Boyle, E., Couteau, G., Gilboa, N., Ishai, Y., Kohl, L.
& Scholl, P. (2020).
Efficient pseudorandom correlation generators from ring-lpn. In D. Micciancio & T. Ristenpart (Eds.),
Advances in Cryptology - CRYPTO 2020 (pp. 387-416). Springer. Lecture Notes in Computer Science Vol. 12171
https://doi.org/10.1007/978-3-030-56880-1_14
Tzavelis, N., Giannakopoulos, I., Johansen, R. Q., Doka, K., Koziris, N.
& Karras, P. (2020).
Fair Procedures for Fair Stable Marriage Outcomes. In
Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 34, no. 5, pp. 7269-7276). AAAI Press.
https://doi.org/10.1609/aaai.v34i05.6218
Barthe, G., Blazy, S., Grégoire, B., Hutin, R., Laporte, V., Pichardie, D.
& Trieu, A. (2020).
Formal Verification of a Constant-Time Preserving C Compiler.
Proceedings of the ACM on Programming Languages,
4(POPL), [7].
https://doi.org/10.1145/3371075