@inproceedings{BCL+5,
title = {Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols },
author = {Barthe, Gilles and Crespo, Juan Manuel and Lakhnech, Yassine and Schmidt, Benedikt},
year = {2015},
booktitle = {Advances in Cryptology - {EUROCRYPT} 2015 - 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part {II}},
pages = {689--718},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {9057},
team = {RSD, DCS},
}
