International Association
for Cryptologic Research

@inproceedings{crypto-2016-27673,
  title={Probabilistic Termination and Composability of Cryptographic Protocols},
  booktitle={CRYPTO},
  publisher={Springer},
  pages={240-269},
  doi={10.1007/978-3-662-53015-3_9},
  author={Ran Cohen and Sandro Coretti and Juan A. Garay and Vassilis Zikas},
  year=2016
}