Grønbæk, J. E., Jakobsen, K., Petersen, M. G., Rasmussen, M. K., Winge, J., Stougaard, J., 2016, "Designing for Children's Collective Music Making", NordiCHI '16 Proceedings of the 9th Nordic Conference on Human-Computer Interaction. Article in proceedings
Garg, S., Mukherjee, P., Pandey, O., Polychroniadou, A., 2016, "The Exact Round Complexity of Secure Computation", Advances in Cryptology – EUROCRYPT 2016 - Annual International Conference on the Theory and Applications of Cryptographic Techniques. Article in proceedings
Papakonstantinou, P. A., Xu, J., Yang, G., 2016, "On the power and limits of distance-based learning", Proceedings of the 33nd International Conference on Machine Learning, {ICML} 2016, New York City, NY, USA, June 19-24, 2016. Article in proceedings
Larsen, K. G., Nelson, J., Nguyen, H. L., Thorup, M., 2016, "Heavy hitters via cluster-preserving clustering", 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS). Article in proceedings
Bai, G., Damgård, I., Orlandi, C., Xia, Y., 2016, "Non-Interactive Verifiable Secret Sharing for Monotone Circuits", Progress in Cryptology - AFRICACRYPT 2016 - 8th International Conference on Cryptology in Africa, Fes, Morocco, April 13-15, 2016, Proceedings. Article in proceedings
Jakobsen, S. K., Orlandi, C., 2016, "How To Bootstrap Anonymous Communication", Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science, Cambridge, MA, USA, January 14-16, 2016. Book chapter
Houben, S., Marquardt, N., Vermeulen, J., et al., 2016, "Cross-Surface", CHI EA '16. Article in proceedings
Abboud, A., Backurs, A., Hansen, T. D., Williams, V. V., Zamir, O., 2016, "Subtree isomorphism revisited", 27th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016. Article in proceedings
Ben-Sasson, E., Ben-Tov, I., Damgård, I., Ishai, Y., Ron-Zewi, N., 2016, "On public key encryption from noisy codewords", Public-Key Cryptography – PKC 2016 - 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Proceedings. Article in proceedings
Damgård, I., Nielsen, J. B., Ostrovsky, R., Rosén, A., 2016, "Unconditionally secure computation with reduced interaction", Advances in Cryptology - EUROCRYPT 2016 - 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Article in proceedings
Cascudo, I., Damgård, I., David, B. M., Döttling, N., Nielsen, J. B., 2016, "Rate-1, linear time and additively homomorphic UC commitments", Advances in Cryptology - 36th Annual International Cryptology Conference, CRYPTO 2016, Proceedings. Article in proceedings
Nielsen, J. B., Ranellucci, S., 2016, "Reactive garbling", Advances in Cryptology - ASIACRYPT 2016 - 22nd International Conference on the Theory and Application of Cryptology and Information Security, Proceedings. Article in proceedings
Ateniese, G., Dagdelen, Ö., Damgård, I., Venturi, D., 2016, "Entangled cloud storage", Future Generation Computer Systems - The International Journal of eScience. Journal article
Raskin, M., Mamardashvili, N. A., 2016, "Accessing Local Variables During Debugging", ELS2016 Proceedings of the 9th European Lisp Symposium on European Lisp Symposium. Article in proceedings
Hansen, K. A., Ibsen-Jensen, R., Koucký, M., 2016, "The big match in small space", Algorithmic Game Theory - 9th International Symposium, SAGT 2016, Proceedings. Article in proceedings
Caragiannis, I., Filos-Ratsikas, A., Frederiksen, S. K. S., Hansen, K. A., Tan, Z., 2016, "Truthful facility assignment with resource augmentation", Web and Internet Economics - 12th International Conference, WINE 2016, Proceedings. Article in proceedings
Bauer, A., Gross, J., Lumsdaine, P. L., Shulman, M., Sozeau, M., Spitters, B., 2016, "The HoTT Library". Net publication - Internet publication
Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B., Vezzosi, A., 2016, "Guarded Cubical Type Theory", CSL 2016. Article in proceedings
Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B., Vezzosi, A., 2016, "Guarded Cubical Type Theory". Net publication - Internet publication
Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B., Vezzosi, A., 2016, "Guarded cubical type theory". Conference abstract for conference