Welcome to the Information Security and Cryptography Group. Address: Information Security and Cryptography Group Prof. Dr. Michael Backes Department of Computer Science Postfach 15 11 50 Saarland University 66041 Saarbrücken   Germany

News

February 1, 2010: Workshop SecDay 2010

We are hosting the 2010 Grande Region Security and Reliability Day. Participate!

June 4, 2009: Press coverage

Our work on acoustic emanations of printers received attention in the media. Some details on the project can be found here.

January, 2009: New rooms

Our group moved. We are now located on the second floor of building E1 1 at Saarland University.

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.

Juli 8, 2008: Publications

"Type-checking Zero-knowledge" by Michael Backes, Cătălin Hriţcu, and Matteo Maffei accepted at the 15th ACM Conference on Computer and Communications Security (CCS 2008).

June 20, 2008: Publications

"Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks" by Michael Backes and Boris Köpf accepted at the 13th European Symposium on Research in Computer Security (ESORICS'08).

March 26, 2008: Publications

"The CASPA Tool: Causality-based Abstraction for Security Protocol Analysis (Tool Paper)" by Michael Backes, Stefan Lorenz, Matteo Maffei, and Kim Pecina accepted at the 20th International Conference on Computer Aided Verification (CAV 2008).

March 17, 2008: Publications

"Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers" by Michael Backes and Dominique Unruh accepted at IEEE Computer Security Foundations Symposium 2008.

"Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus" by Michael Backes, Cătălin Hriţcu, and Matteo Maffei accepted at IEEE Computer Security Foundations Symposium 2008.

Calendar