Dagstuhl Seminar Proceedings: Formal Protocol Verification Applied 2007

• Liqun Chen, Steve Kremer, Mark Dermot Ryan:
  07421 Executive Summary -- Formal Protocol Verification Applied.
  Electronic Edition (link) BibTeX
• Michael Backes, Matteo Maffei, Dominique Unruh:
  Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol.
  Electronic Edition (link) BibTeX
• Cas Cremers:
  Complete Characterization of Security Protocols by Pattern Refinement.
  Electronic Edition (link) BibTeX
• Liqun Chen, Steve Kremer, Mark Dermot Ryan:
  07421 Abstracts Collection -- Formal Protocol Verification Applied.
  Electronic Edition (link) BibTeX