Cryptology ePrint Archive: Report 2009/227
Available versions in chronological order
20090530:041653 (posted 30-May-2009 04:16:53 UTC)
Computational soundness, co-induction, and encryption cycles
Daniele Micciancio
[
Cryptology ePrint archive
]