Mechanizing the Proof of Adaptive, Information-Theoretic Security of Cryptographic Protocols in the Random Oracle Model.

Alley Stoughton Mayank Varia

Published in: CSF (2017)

Keyphrases

information theoretic
cryptographic protocols
mutual information
bayesian framework
information theory
theoretic framework
probabilistic model
log likelihood
similarity measure
software architecture
authentication protocol