Publication Overview

Michael Backes and Matteo Maffei and Dominique Unruh

Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol

Published in: IEEE Symposium on Security and Privacy
Year: 2008
Pages: 202-215