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

Gilles Barthe, Juan Manuel Crespo, Yassine Lakhnech, Benedikt Schmidt

Browse the full EuroCrypt paper archive.