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