Probabilistic Termination and Composability of Cryptographic Protocols.

Ran Cohen Sandro Coretti Juan A. Garay Vassilis Zikas

Published in: J. Cryptol. (2019)

Keyphrases

cryptographic protocols
standard model
security properties
bayesian networks
probabilistic model
authentication protocol
locally decodable codes
database
real time
query processing
response time
uncertain data
private information retrieval