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

Tuesdays, 14:30-15:30, room 3088, Delta
Exception will be announced here, so check before coming
Canceled until further notice

Open Positions

See here for open positions.

Recent Publications

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
Hövelmanns, Kiltz, Schäge, Unruh, Generic Authenticated Key Exchange in the Quantum Random Oracle Model, PKC 2020
Unruh, Quantum Hoare Logic with Ghost Variables, LICS 2019
Unruh, Quantum Relational Hoare Logic, POPL 2019

Complete list of publications

Professional Activities

For teaching activities, see my group's webpage.
Unless mentioned differently, I was a program committee member.

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