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

Michael Backes, Matteo Maffei, Dominique Unruh

Browse the full SP paper archive.