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

by Michael Backes, Matteo Maffei, Dominique Unruh
Venue:In S&P’08: 29th IEEE Symposium on Security and Privacy,