ILC: A Calculus for Composable, Computational Cryptography

Kevin Liao, Matthew A. Hammer, Andrew Miller. ILC: A Calculus for Composable, Computational Cryptography. IACR Cryptology ePrint Archive, 2019:402, 2019. [doi]

Abstract

Abstract is missing.