Symbolic Protocol Verification modulo XOR in ProVerif
Vincent Cheval, Stéphanie Delaune
2026Year
1Citations
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 216c3a77-c256-46e7-adfe-efd3501caf9bRelated papers
- ProVerif with Lemmas, Induction, Fast Subsumption, and Much MoreBruno Blanchet, Vincent Cheval, Véronique CortierS&P 2022 · 61 citations
- A Sound Translation from Tamarin to ProVerif: Enabling Comparative AnalysisKevin Morio, Yavor Ivanov, Robert KünnemannCCS 2026
- CV2F*: Combining CryptoVerif and F* for Proving Security of Protocol ImplementationsBruno Blanchet, Aymeric Fromherz, Charlie Jacomme, Benjamin Lipp et al.CCS 2026
- A Comprehensive Formal Security Analysis of OPC UAVincent Diemunsch, Lucca Hirschi, Steve KremerUSENIX Security 2025
- Accelerating and verifying constant-time modular inversionDaniel J. Bernstein, Han-Ting Chen, John R. Harrison, Cesare Huang et al.EUROCRYPT 2026 · 1 citation
