Cryptographic Protocols Group

Cluster of Excellence "Multimodal Computing and Interaction"
Saarland University

[ News | Group Members | Teaching | Security Groups ]

The Cryptographic Protocols Group does not exist any more.
Dominique Unruh has left for Tartu, Estonia.


See also the shared calendar of the Saarbrücken security groups.

March 1, 2011: New Position

Dominique Unruh has left Saarland University. He joined the faculty of the department of computer science at the University of Tartu (Estonia).

January 14, 2011: Publications

"Concurrent composition in the bounded quantum storage model" by Dominique Unruh was accepted at Eurocrypt 2011.

June 21, 2010: Publications

"Computationally Sound Verification of Source Code" by Michael Backes, Matteo Maffei, and Dominique Unruh was accepted at ACM CCS 2010.

April 29, 2010: Publications

"Universally Composable Incoercibility" by Dominique Unruh and Jörn Müller-Quade was accepted at Crypto 2010.

April 28, 2010: Publications

"Long-term Security and Universal Composability" by Jörn Müller-Quade and Dominique Unruh was accepted for the Journal of Cryptology.

April 27, 2010: Teaching

Dominique Unruh introduced the biweekly "Five o'clock tea of crypto" for students interested in crypto and security. See our calendar for dates.

March 3, 2010: Teaching

Next term (summer 2010), Dominique Unruh will give a seminar on "Electronic Voting" in collaboration with Matteo Maffei.

January 29, 2010: Publications

"Universally Composable Quantum Multi-Party Computation" by Dominique Unruh was accepted at Eurocrypt 2010.

August 12, 2009: Teaching

Next term (winter 2009/10), Dominique Unruh will give a lecture on "Formal Methods and Cryptography".

July 22, 2009: Publications

"Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers" by Michael Backes and Dominique Unruh accepted for the J Computer Security.

July 10, 2009: Publications

"CoSP: A general framework for computational soundness proofs" by Michael Backes, Dennis Hofheinz, and Dominique Unruh accepted at ACM CCS 2009.

November 3, 2008: Publications

"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.

August 14, 2008: Publications

"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.

Group Members

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's picture
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.

Winter Term 2010/11

Advanced lecture: Quantum Cryptography

Summer Term 2010

Research seminar: Electronic Voting

Winter Term 2009/10

Advanced Lecture: Formal Methods and Cryptography

Winter Term 2008/09

Advanced Lecture: Zero-Knowledge

Summer Term 2008

Advanced Lecture: Quantum Cryptography

Related Research Groups in Saarbrücken