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]

@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},
}