CV2F*: Combining CryptoVerif and F* for Proving Security of Protocol Implementations
Bruno Blanchet, Aymeric Fromherz, Charlie Jacomme, Benjamin Lipp, Emmanuel Mera
2026Year
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Your agent calls
Lunesearch_papers
Free to start. No credit card required.
Terminal
Install the CLIlune papers get 7217a2d8-b313-4e17-a362-e09c5c1af005Related papers
- Symbolic Protocol Verification modulo XOR in ProVerifVincent Cheval, Stéphanie DelauneCCS 2026 · 1 citation
- ProVerif with Lemmas, Induction, Fast Subsumption, and Much MoreBruno Blanchet, Vincent Cheval, Véronique CortierS&P 2022 · 61 citations
- Quantifying the Security Cost of Migrating Protocols to PracticeChristopher Patton, Thomas ShrimptonCRYPTO 2020 · 2 citations
- Adaptively Secure Computation for RAM ProgramsLaasya Bangalore, Rafail Ostrovsky, Oxana Poburinnaya, Muthuramakrishnan VenkitasubramaniamEUROCRYPT 2022
- Modelling and Analysis of a Hierarchy of Distance Bounding AttacksTom Chothia, Joeri de Ruiter, Ben SmythUSENIX Security 2018 · 25 citations
