Cryptology ePrint Archive: Report 2012/081

Available versions in chronological order

20120223:214118 (posted 23-Feb-2012 21:41:18 UTC): Computational Soundness of Symbolic Zero-knowledge Proofs: Weaker Assumptions and Mechanized Verification; Michael Backes and Fabian Bendun and Dominique Unruh

[ Cryptology ePrint archive ]