Login / Signup
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