Probabilistic Termination and Composability of Cryptographic Protocols.

Ran Cohen, Sandro Coretti, Juan A. Garay, Vassilis Zikas

Browse the full CRYPTO paper archive.