Symbolic Protocol Verification modulo XOR in ProVerif
Vincent Cheval, Stéphanie Delaune
2026年份
1被引次数
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper，每个回答都会注明依据哪几篇。
相关 Paper
- ProVerif with Lemmas, Induction, Fast Subsumption, and Much MoreBruno Blanchet, Vincent Cheval, Véronique CortierS&P 2022 · 被引用 61 次
- 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 等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 等EUROCRYPT 2026 · 被引用 1 次
