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
  

Professional Activities

• 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