CV2F*: Combining CryptoVerif and F* for Proving Security of Protocol Implementations
Bruno Blanchet, Aymeric Fromherz, Charlie Jacomme, Benjamin Lipp, Emmanuel Mera
2026年份
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper，每个回答都会注明依据哪几篇。
相关 Paper
- Symbolic Protocol Verification modulo XOR in ProVerifVincent Cheval, Stéphanie DelauneCCS 2026 · 被引用 1 次
- ProVerif with Lemmas, Induction, Fast Subsumption, and Much MoreBruno Blanchet, Vincent Cheval, Véronique CortierS&P 2022 · 被引用 61 次
- Quantifying the Security Cost of Migrating Protocols to PracticeChristopher Patton, Thomas ShrimptonCRYPTO 2020 · 被引用 2 次
- 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 次
