Cryptology ePrint Archive: Report 2007/289

Available versions in chronological order


Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol
Michael Backes and Matteo Maffei and Dominique Unruh


[ Cryptology ePrint archive ]