Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols | Publicación