@misc{cryptoeprint:2019:402,
    author = {Kevin Liao and Matthew A. Hammer and Andrew Miller},
    title = {ILC: A Calculus for Composable, Computational Cryptography},
    howpublished = {Cryptology ePrint Archive, Report 2019/402},
    year = {2019},
    url = {https://eprint.iacr.org/2019/402},
}