Round-Preserving Parallel Composition of Probabilistic-Termination Cryptographic Protocols.

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

Browse the full ICALP paper archive.