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.