Dominique Unruh Professor of Information Security Institute of Computer Science University of Tartu

Office: Room 310, Ülikooli 17 (Paabel) Mail: <surname> at ut dot ee For more options, see my contact page.

Office Hours

Open Positions

Recent Publications

• Unruh, Towards compressed permutation oracles, technical report
• Firsov, Unruh, Schnorr protocol in Jasmin, technical report
• Firsov, Unruh, Zero-Knowledge in EasyCrypt, CSF 2023
• Duman, Hövelmanns, Kiltz, Lyubashevsky, Seiler, Unruh, A Thorough Treatment of Highly-Efficient NTRU Instantiations, PKC 2023
• Firsov, Unruh, Reflection, Rewinding, and Coin-Toss in EasyCrypt, CPP 2022
• Carstens, Ebrahimi, Tabia, Unruh, Relationships between quantum IND-CPA notions, TCC 2021
• Unruh, Quantum and classical registers, PlanQC 2021
• Li, Unruh, Quantum Relational Hoare Logic with Expectations, ICALP 2021
• Magri, Malavolta, Schröder, Unruh, Everlasting UC Commitments from Fully Malicious PUFs, technical report
• Unruh, Post-Quantum Verification of Fujisaki-Okamoto, Asiacrypt 2020
• Fang, Unruh, Weng, Yan, Zhou, How to Base Security on the Perfect/Statistical Binding Property of Quantum Bit Commitment?, technical report

Professional Activities

• CSF 2019, 32nd IEEE Computer Security Foundations Symposium, Hoboken, NJ, USA. Chair of special session for computer-aided cryptography
• Eurocrypt 2018, 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel-Aviv, Israel
• QCrypt 2017, 7th International Conference on Quantum Cryptography, Cambridge, UK
• Asiacrypt 2017, 23rd Annual International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China
• Crypto 2017, 36th International Cryptology Conference, Santa Barbara, US
• Asiacrypt 2016, 22nd Annual International Conference on the Theory and Applications of Cryptology and Information Security, Hanoi, Vietnam
• CT-RSA 2016, RSA Conference Cryptographers' Track, San Francisco, US
• ICALP 2016, 42nd International Colloquium on Automata, Languages, and Programming (Track A), Rome, Italy
  
• Eurocrypt 2016, 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria
• Asiacrypt 2015, 21st Annual International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand
• QCrypt 2015, 5th International Conference on Quantum Cryptography, Tokyo, Japan
• CT-RSA 2015, RSA Conference Cryptographers' Track
• Dagstuhl Seminar 14492, The synergy between programming languages and cryptography, Dagstuhl, Germany. Organizer
• FCC-FCS 2014, Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography, Vienna, Austria
• Eurocrypt 2014, 33rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Copenhagen, Denmark
• PKC 2014, 17th IACR International Conference on Practice and Theory of Public-Key Cryptography, Buenos Aires, Argentina
  
• FCC 2013, 9th Workshop on Formal Computational Cryptography, New Orleans, US
• HotSpot 2013, 1st Workshop on Hot Issues in Security Principles and Trust, Rome, Italy
  
• POST 2013, 2nd Conference on Principles of Security and Trust, Rome, Italy
• Indocrypt 2012, 13th International Conference on Cryptology in India, Kolkata, India
• SCN 2012, 8th Security and Cryptography for Networks Conference, Amalfi, Italy
  
• CSF 2012, 24th Computer Security Foundations Symposium, Cambridge, US
  
• CRYPTO 2012, 32st Annual International Cryptology Conference, Santa Barbara, California
• Nordsec 2012, 17th Nordic Conference on Secure IT Systems, Karlskrona, Sweden
  
• FCC 2012, 8th Workshop on Formal Computational Cryptography, Cambridge, US
  
• FCC 2011, 7th Workshop on Formal Computational Cryptography, Paris, France. Program chair
• CSF 2011, 24th Computer Security Foundations Symposium, Abbaye de Vaux de Cernay, France
  
• TCC 2011, 8th Theory of Cryptography Conference, Providence, Rhode Island
  
• ICITS 2011, 5th International Conference on Information Theoretic Security, Amsterdam, Netherlands
  
• FCC 2010, 6th workshop on Formal Computational Cryptography, Edinburgh, UK
  
• ESORICS 2009, 13th European Symposium on Research in Computer Security, Saint Malo, France
  
• FMSE 2008, 6th ACM Workshop on Formal Methods in Security Engeneering, Alexandria, Virginia
  
• ISC 2008, 11th Information Security Conference, Taipei, Taiwan
  
• ICALP 2008, 35th International Colloquium on Automata, Languages and Programming (Track C), Reykjavík, Iceland
  
• ISC 2007, 10th Information Security Conference, Valparaíso, Chile
  
• SECRYPT 2007, International Conference on Security and Cryptography, Barcelona, Spain