Dagstuhl Seminar Proceedings, Volume 7421,

• Liqun Chen, Steve Kremer, and Mark D. Ryan 07421 Abstracts Collection – Formal Protocol Verification Applied 10.4230/DagSemProc.07421.1
• Liqun Chen, Steve Kremer, and Mark D. Ryan 07421 Executive Summary – Formal Protocol Verification Applied 10.4230/DagSemProc.07421.2
• Cas Cremers Complete Characterization of Security Protocols by Pattern Refinement 10.4230/DagSemProc.07421.3
• Michael Backes, Matteo Maffei, and Dominique Unruh Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol 10.4230/DagSemProc.07421.4