Probabilistic Termination and Composability of Cryptographic Protocols

Ran Cohen, Sandro Coretti, Juan A. Garay, Vassilis Zikas. Probabilistic Termination and Composability of Cryptographic Protocols. J. Cryptology, 32(3):690-741, 2019. [doi]

Authors

Ran Cohen

This author has not been identified. Look up 'Ran Cohen' in Google

Sandro Coretti

This author has not been identified. Look up 'Sandro Coretti' in Google

Juan A. Garay

This author has not been identified. Look up 'Juan A. Garay' in Google

Vassilis Zikas

This author has not been identified. Look up 'Vassilis Zikas' in Google