Mohammad Hajiabadi, Bruce M. Kapron. Co-induction and Computational Semantics for Public-key Encryption with Key Cycles. IACR Cryptology ePrint Archive, 2011:85, 2011. [doi]
@article{HajiabadiK11,
title = {Co-induction and Computational Semantics for Public-key Encryption with Key Cycles},
author = {Mohammad Hajiabadi and Bruce M. Kapron},
year = {2011},
url = {http://eprint.iacr.org/2011/085},
researchr = {https://researchr.org/publication/HajiabadiK11},
cites = {0},
citedby = {0},
journal = {IACR Cryptology ePrint Archive},
volume = {2011},
pages = {85},
}