Publications

Compositional analysis of contract signing protocols

• • Michael Backes
  • Anupam Datta
  • et al.
• 2005
• CSF 2005