Dominique Unruh Head of Junior Research Group "Cryptographic Protocols" Cluster of Excellence Multimodal Computing and Interaction Saarland University

Postal address: Dominique Unruh Saarland University Dept. of Computer Science PO Box 151150 66041 Saarbrücken Germany Office: Room 2.14, Building E1 1 Phone: +49 681 302 57375 Fax: +49 681 302 57365 Mail: <surname> at mmci dot uni-saarland dot de

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, 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
  
• Müller-Quade, Unruh, Long-term Security and Universal Composability, J Cryptology
  
• Unruh, Concurrent composition in the bounded quantum storage model, Technical Report
  
• Unruh, Universally Composable Quantum Multi-Party Computation, Eurocrypt 2010
  
• Unruh, Quantum Proofs of Knowledge, Technical Report
  
• Backes, Unruh, Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers, J Computer Security
• Backes, Hofheinz, Unruh, CoSP: A general framework for computational soundness proofs, ACM CCS 2009

Professional Activities

• TCC 2011, 8th Theory of Cryptography Conference
  Program Committee Member
• ICITS 2011, 5th International Conference on Information Theoretic Security
  Program Committee Member
  
• FCC 2010, 6th workshop on Formal Computational Cryptography
  Program Committee Member
  
• ESORICS 2009, 13th European Symposium on Research in Computer Security
  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