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
.
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,
Quantum Proofs of Knowledge
,
Eurocrypt 2012
Garg
, Vanishree,
Sahai
,
Schröder
, Unruh,
Round Optimal Blind Signatures
,
Crypto 2011
Unruh,
Termination-Insensitive Computational Indistinguishability
,
CSF 2011
Schröder
, Unruh,
Security of Blind Signatures Revisited
, Technical Report
Unruh,
Concurrent composition in the bounded quantum storage model
,
Eurocrypt 2011
Unruh,
The impossibility of computationally sound XOR
, Technical Report
Backes
,
Maffei
, Unruh,
Computationally Sound Verification of Source Code
,
ACM CCS 2010
Unruh,
Müller-Quade
,
Universally Composable Incoercibility
,
Crypto 2010
Complete list of publications
Professional Activities
For teaching activities, see
my group's webpage
.
POST 2013
, 2nd Conference on Principles of Security and Trust, Rome, Italy
SCN 2012
, 8th Security and Cryptography for Networks Conference, Amalfi, Italy
Programm Committee Member
CSF 2012
, 24th Computer Security Foundations Symposium
Programm Committee Member
CRYPTO 2012
, 32st Annual International Cryptology Conference, Santa Barbara, California
Programm Committee Member
FCC 2011
, 7th Workshop on Formal Computational Cryptography, Paris
Program chair
CSF 2011
, 24th Computer Security Foundations Symposium, Abbaye de Vaux de Cernay, France
Programm Committee Member
TCC 2011
, 8th Theory of Cryptography Conference, Providence, Rhode Island
Program Committee Member
ICITS 2011
, 5th International Conference on Information Theoretic Security, Amsterdam, Netherlands
Program Committee Member
FCC 2010
, 6th workshop on Formal Computational Cryptography, Edinburgh, UK
Program Committee Member
ESORICS 2009
, 13th European Symposium on Research in Computer Security, Saint Malo, France
Program Committee Member
FMSE 2008
, 6th ACM Workshop on Formal Methods in Security Engeneering, Alexandria, Virginia
Program Committee Member
ISC 2008
,
11th Information Security Conference, Taipei, Taiwan
Program Committee Member
ICALP 2008
,
35th International Colloquium on Automata, Languages and Programming (Track C), Reykjavík, Iceland
Program Committee Member
ISC 2007
, 10th Information Security Conference, Valparaíso, Chile
Program Committee Member
SECRYPT 2007
, International Conference on Security and Cryptography, Barcelona, Spain
Program Committee Member