Publications

Information Flow in the Peer-Reviewing Process (Extended Abstract)

2007 - Michael Backes, Markus Dürmuth, Dominique Unruh

Proceedings of 28th IEEE Symposium on Security and Privacy (SSP '07), May 2007.

On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography

2007 - Michael Backes, Markus Dürmuth, Ralf Küsters

Proceedings of 27th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), December 2007.

Conditional Reactive Simulatability

2006 - Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters

Proceedings of 11th European Symposium on Research in Computer Security (ESORICS '06), September 2006.

A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System

2005 - Michael Backes, Markus Dürmuth

In Proceedings of 18th IEEE Computer Security Foundations Workshop (CSFW '05), June 2005.

An Algebra for Composing Enterprise Privacy Policies

2004 - Michael Backes, Markus Dürmuth, Rainer Steinwandt

Proceedings of 9th European Symposium on Research in Computer Security (ESORICS '04), September 2004.

Unification in Privacy Policy Evaluation - Translating EPAL to Prolog

2004 - Michael Backes, Markus Dürmuth, Günter Karjoth

Proceedings of 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY), June 2004.
Page: