Cryptology ePrint Archive: Report 2012/486

Available versions in chronological order

20120822:232836 (posted 22-Aug-2012 23:28:36 UTC): Computational Soundness without Protocol Restrictions; Michael Backes and Ankit Malik and Dominique Unruh; Publication Info: A short version appears at ACM CCS 2012

[ Cryptology ePrint archive ]