International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Mind the Gap: Modular Machine-checked Proofs of One-Round Key Exchange Protocols

Authors:
Gilles Barthe
Juan Manuel Crespo
Yassine Lakhnech
Benedikt Schmidt
Download:
URL: https://eprint.iacr.org/2015/074
Search ePrint
Search Google
BibTeX
@article{eprint-2015-26655,
  title={Mind the Gap: Modular Machine-checked Proofs of One-Round Key Exchange Protocols},
  journal={IACR Cryptology ePrint Archive},
  volume={2015},
  pages={74},
  url={https://eprint.iacr.org/2015/074},
  author={Gilles Barthe and Juan Manuel Crespo and Yassine Lakhnech and Benedikt Schmidt},
  year=2015
}