Kevin Liao, Matthew A. Hammer, Andrew Miller. ILC: A Calculus for Composable, Computational Cryptography. IACR Cryptology ePrint Archive, 2019:402, 2019. [doi]
@article{LiaoHM19-0, title = {ILC: A Calculus for Composable, Computational Cryptography}, author = {Kevin Liao and Matthew A. Hammer and Andrew Miller}, year = {2019}, url = {https://eprint.iacr.org/2019/402}, researchr = {https://researchr.org/publication/LiaoHM19-0}, cites = {0}, citedby = {0}, journal = {IACR Cryptology ePrint Archive}, volume = {2019}, pages = {402}, }