Cryptology ePrint Archive: Report 2015/074
Available versions in chronological order
20150210:203443 (posted 10-Feb-2015 20:34:43 UTC)
Mind the Gap: Modular Machine-checked Proofs of One-Round Key Exchange Protocols
Gilles Barthe and Juan Manuel Crespo and Yassine Lakhnech and Benedikt Schmidt
Original publication (in the same form): IACR-EUROCRYPT-2015
[
Cryptology ePrint archive
]