Publications

2 results at CSF 2005

A cryptographically sound Dolev-Yao style security proof of an electronic payment system
- - Michael Backes
  - Markus Dürmuth
- 2005
- CSF 2005
Compositional analysis of contract signing protocols
- - Michael Backes
  - Anupam Datta
  - et al.
- 2005
- CSF 2005