Cryptology ePrint Archive: Report 2007/289

Available versions in chronological order

20070807:153347 (posted 07-Aug-2007 15:33:47 UTC): 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 ]