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:
DOI: 10.1007/978-3-662-46803-6_23 (login may be required)
URL: https://www.iacr.org/archive/eurocrypt2015/90560219/90560219.pdf
Search ePrint
Search Google
Conference: EUROCRYPT 2015
BibTeX
@inproceedings{eurocrypt-2015-27247,
  title={Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols},
  booktitle={EUROCRYPT (2)},
  publisher={Springer},
  pages={689-718},
  url={https://www.iacr.org/archive/eurocrypt2015/90560219/90560219.pdf},
  doi={10.1007/978-3-662-46803-6_23},
  author={Gilles Barthe and Juan Manuel Crespo and Yassine Lakhnech and Benedikt Schmidt},
  year=2015
}