Cryptographic Protocols Group Cluster
of Excellence "Multimodal Computing and Interaction" |
[ News | Group Members | Teaching | Security Groups ]
See also the shared calendar of the Saarbrücken security groups.
Dominique Unruh has left Saarland University. He
joined the faculty of the department of computer science at the
University of Tartu (Estonia).
"Concurrent composition in the bounded quantum storage model" by Dominique Unruh was accepted at Eurocrypt 2011.
"Computationally Sound Verification of Source Code" by Michael Backes, Matteo Maffei, and Dominique Unruh was accepted at ACM CCS 2010.
"Universally Composable Incoercibility" by Dominique Unruh and Jörn Müller-Quade was accepted at Crypto 2010.
"Long-term Security and Universal Composability" by Jörn Müller-Quade and Dominique Unruh was accepted for the Journal of Cryptology.
Dominique Unruh introduced the biweekly "Five o'clock tea of crypto" for students interested in crypto and security. See our calendar for dates.
Next term (summer 2010), Dominique Unruh will give
a seminar on "Electronic
Voting" in collaboration with Matteo Maffei.
"Universally Composable Quantum Multi-Party Computation" by Dominique Unruh was accepted at Eurocrypt 2010.
Next term (winter 2009/10), Dominique Unruh will give a lecture on "Formal Methods and Cryptography".
"Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers" by Michael Backes and Dominique Unruh accepted for the J Computer Security.
"CoSP: A general framework for computational soundness proofs" by Michael Backes, Dennis Hofheinz, and Dominique Unruh accepted at ACM CCS 2009.
"CSAR: A practical and provable technique to make randomized systems accountable" by Michael Backes, Peter Druschel, Andreas Haeberlen, and Dominique Unruh accepted at NDSS 2009.
"OAEP is Secure Under Key-dependent Messages" by Michael Backes, Markus Dürmuth, and Dominique Unruh accepted at ASIACRYPT 2008.
"Limits of Constructive Security Proofs" by Michael Backes and Dominique Unruh accepted at ASIACRYPT 2008.
 |
Dominique
Unruh (head) Room 2.14, Building E1 1 +49 681 302 57375 <surname> at mmci dot uni-saarland dot de |
| Master
students |
|
| Holger Bornträger <in reverse: lehderehp> at gmail dot com (Automatic verification of equivalences of cryptographic games) |
|
 |
Ines Ciolacu ines dot <surname> at googlemail dot com (Universally Composable Relativistic Commitments) |
| Former master
students |
|
 |
Robert Künnemann (Game-theoretic modeling of incoercibility) Now an INRIA Ph.D. student at LSV CNS Cachan |
 |
Sebastian Meiser <firstname> at meiser-web dot de (Computational soundness of IND-CPA encryption with active attackers) |
For Master's and Bachelor's theses, please contact Dominique Unruh.
Advanced lecture: Quantum Cryptography
Research seminar: Electronic Voting
Advanced Lecture: Formal Methods and Cryptography
Advanced Lecture: Zero-Knowledge
Advanced Lecture: Quantum Cryptography