Intl. Colloquium on Automata, Languages, and Programming, ICALP 2017


Article Details
Title: Round-Preserving Parallel Composition of Probabilistic-Termination Cryptographic Protocols
Article URLs:
Alternative Article URLs:
Authors: Ran Cohen
  • Tel Aviv University, School of Computer Science
Sandro Coretti
  • New York University, Courant Institute of Mathematical Sciences
Juan A. Garay
  • Yahoo Research
Vassilis Zikas
  • Rensselaer Polytechnic Institute, Dept. of Computer Science
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1314568, 1319051
DBLP Key: conf/icalp/CohenCGZ17
Author Comments:

Discuss this paper and its artifacts below