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

Ran Cohen Sandro Coretti Juan A. Garay Vassilis Zikas

Published in: ICALP (2017)

Keyphrases

cryptographic protocols
standard model
security properties
bayesian networks
probabilistic model
security protocols
database
low cost
authentication protocol
private information retrieval