Dominique Unruh

Professor of Information Security
Institute of Computer Science
University of Tartu

Office:	Room 302, 2 J. Liivi St.
Phone:	+372 737 5871
Mail:	<surname> at ut dot ee
For more options, see my contact page.

Open Positions

See here for ph.d. positions.

Research Interests

Cryptography and security, in particular:
Foundations and security models
Complexity-theoretical aspects of crypto
Computational soundness of formal models
Computer-aided verification of crypto and security protocols
Quantum cryptography, especially beyond key distribution
Anything involving intricate proofs and thinking-'round-the-corner

Recent Publications

Unruh, Everlasting Multi-Party Computation, Crypto 2013
Böhl, Unruh, Symbolic Universal Composability, CSF 2013
Backes, Bendun, Unruh, Computational Soundness of Symbolic Zero-Knowledge Proofs..., POST 2013
Unruh, Programmable encryption and key-dependent messages, Technical Report
Hofheinz, Unruh, Müller-Quade, Polynomial Runtime and Composability, J Cryptology
Backes, Malik, Unruh, Computational Soundness without Protocol Restrictions, ACM CCS 2012
Schröder, Unruh, Security of Blind Signatures Revisited, PKC 2012
Unruh, Quantum Proofs of Knowledge, Eurocrypt 2012

Complete list of publications

Professional Activities

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

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