Ran Cohen, Sandro Coretti, Juan A. Garay, Vassilis Zikas. Probabilistic Termination and Composability of Cryptographic Protocols. In Matthew Robshaw, Jonathan Katz, editors, Advances in Cryptology - CRYPTO 2016 - 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part III. Volume 9816 of Lecture Notes in Computer Science, pages 240-269, Springer, 2016. [doi]
Abstract is missing.