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.
Page:
2005 - Michael Backes, Markus Dürmuth
In Proceedings of 18th IEEE Computer Security Foundations Workshop (CSFW '05), June 2005.