Cryptology ePrint Archive: Report 2011/085
Available versions in chronological order
20110220:223107 (posted 20-Feb-2011 22:31:07 UTC)
Co-induction and Computational Semantics for Public-key Encryption with Key Cycles
Mohammad Hajiabadi, Bruce M. Kapron
20110521:061915 (posted 21-May-2011 06:19:15 UTC)
Co-induction and Computational Semantics for Public-key Encryption with Key Cycles
Mohammad Hajiabadi, Bruce M. Kapron
[
Cryptology ePrint archive
]