Login / Signup

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

Gilles BartheJuan Manuel CrespoYassine LakhnechBenedikt Schmidt
Published in: EUROCRYPT (2) (2015)
Keyphrases