Cryptology ePrint Archive: Report 2012/560

Available versions in chronological order

20120930:002636 (posted 30-Sep-2012 00:26:36 UTC): Computational Soundness of Coinductive Symbolic Security under Active Attacks; Mohammad Hajiabadi, Bruce M. Kapron

[ Cryptology ePrint archive ]