Probabilistic Termination and Composability of Cryptographic Protocols.

Ran Cohen Sandro Coretti Juan A. Garay Vassilis Zikas

Published in: CRYPTO (3) (2016)

Keyphrases

cryptographic protocols
security properties
bayesian networks
security protocols
standard model
probabilistic model
encryption decryption
locally decodable codes
authentication protocol