Vincent Cheval

45 papers A* 8A 10Journal 18Unranked 8
YearRankTypeTitle / Venue / Authors
2025 A conf
Automatic Verification of Finite Variant Property Beyond Convergent Equational Theories.
CSF
Vincent Cheval, Caroline Fontaine
2025 J jnl
On the Complexity of the Optimal Correlated Equilibria in Extensive-Form Games.
CoRR
Vincent Cheval, Florian Horn, Soumyajit Paul, Mahsa Shirmohammadi
2024 J jnl
Automatic verification of Finite Variant Property beyond convergent equational theories.
CoRR
Vincent Cheval, Caroline Fontaine
2024 J jnl
DeepSec: Deciding Equivalence Properties for Security Protocols - Improved theory and practice.
TheoretiCS
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
2024 J jnl
On Learning Polynomial Recursive Programs.
Proc. ACM Program. Lang.
Alex Buna-Marginean, Vincent Cheval, Mahsa Shirmohammadi, James Worrell
2024 J jnl
On Tree Automata, Generating Functions, and Differential Equations.
CoRR
Rida Ait El Manssour, Vincent Cheval, Mahsa Shirmohammadi, James Worrell
2023 J jnl
Automatic verification of transparency protocols (extended version).
CoRR
Vincent Cheval, José Moreira, Mark Ryan
2023 A conf
Automatic verification of transparency protocols.
EuroS&P
Vincent Cheval, José Moreira, Mark Ryan
2023 A conf
Election Verifiability with ProVerif.
CSF
Vincent Cheval, Véronique Cortier, Alexandre Debant
2023 A* conf
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses.
USENIX Security Symposium
Vincent Cheval, Cas Cremers, Alexander Dax, Lucca Hirschi, Charlie Jacomme, Steve Kremer
2023 A conf
Indistinguishability Beyond Diff-Equivalence in ProVerif.
CSF
Vincent Cheval, Itsaka Rakotonirina
2023 J jnl
On Learning Polynomial Recursive Programs.
CoRR
Alex Buna-Marginean, Vincent Cheval, Mahsa Shirmohammadi, James Worrell
2023 J jnl
Symbolic protocol verification with dice.
J. Comput. Secur.
Vincent Cheval, Raphaëlle Crubillé, Steve Kremer
2022 A* conf
A Symbolic Analysis of Privacy for TLS 1.3 with Encrypted Client Hello.
CCS
Karthikeyan Bhargavan, Vincent Cheval, Christopher A. Wood
2022 J jnl
DeepSec: Deciding Equivalence Properties for Security Protocols - Improved theory and practice.
CoRR
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
2022 J jnl
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses.
IACR Cryptol. ePrint Arch.
Vincent Cheval, Cas Cremers, Alexander Dax, Lucca Hirschi, Charlie Jacomme, Steve Kremer
2022 A* conf
ProVerif with Lemmas, Induction, Fast Subsumption, and Much More.
SP
Bruno Blanchet, Vincent Cheval, Véronique Cortier
2022 A* conf
SAPIC+: protocol verifiers of the world, unite!
USENIX Security Symposium
Vincent Cheval, Charlie Jacomme, Steve Kremer, Robert Künnemann
2022 J jnl
Sapic+: protocol verifiers of the world, unite!
IACR Cryptol. ePrint Arch.
Vincent Cheval, Charlie Jacomme, Steve Kremer, Robert Künnemann
2022 A conf
Symbolic protocol verification with dice: process equivalences in the presence of probabilities.
CSF
Vincent Cheval, Raphaëlle Crubillé, Steve Kremer
2020 J jnl
On the semantics of communications when verifying equivalence properties.
J. Comput. Secur.
Kushal Babel, Vincent Cheval, Steve Kremer
2020 — conf
The Hitchhiker's Guide to Decidability and Complexity of Equivalence Properties in Security Protocols.
Logic, Language, and Security
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
2019 A* conf
Exploiting Symmetries When Proving Equivalence Properties for Security Protocols.
CCS
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
2018 A conf
A Little More Conversation, a Little Less Action, a Lot More Satisfaction: Global States in ProVerif.
CSF
Vincent Cheval, Véronique Cortier, Mathieu Turuani
2018 A* conf
DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice.
IEEE Symposium on Security and Privacy
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
2018 — conf
The DEEPSEC Prover.
CAV (2)
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
2017 J jnl
A procedure for deciding symbolic equivalence between sets of constraint systems.
Inf. Comput.
Vincent Cheval, Hubert Comon-Lundh, Stéphanie Delaune
2017 — conf
On Communication Models When Verifying Equivalence Properties.
POST
Kushal Babel, Vincent Cheval, Steve Kremer
2017 A conf
Secure Composition of PKIs with Public Key Protocols.
CSF
Vincent Cheval, Véronique Cortier, Bogdan Warinschi
2016 J jnl
Automated Verification of Equivalence Properties of Cryptographic Protocols.
ACM Trans. Comput. Log.
Rohit Chadha, Vincent Cheval, Stefan Ciobaca, Steve Kremer
2016 J jnl
DTKI: A New Formalized PKI with Verifiable Trusted Parties.
Comput. J.
Jiangshan Yu, Vincent Cheval, Mark Ryan
2015 — conf
Composing Security Protocols: From Confidentiality to Privacy.
POST
Myrto Arapinis, Vincent Cheval, Stéphanie Delaune
2015 — conf
Secure Refinements of Communication Channels.
FSTTCS
Vincent Cheval, Véronique Cortier, Eric le Morvan
2015 — conf
Timing Attacks in Security Protocols: Symbolic Framework and Proof Techniques.
POST
Vincent Cheval, Véronique Cortier
2014 A conf
APTE: An Algorithm for Proving Trace Equivalence.
TACAS
Vincent Cheval
2014 J jnl
Composing security protocols: from confidentiality to privacy.
CoRR
Myrto Arapinis, Vincent Cheval, Stéphanie Delaune
2014 J jnl
DTKI: a new formalized PKI with no trusted parties.
CoRR
Jiangshan Yu, Vincent Cheval, Mark Ryan
2014 — conf
Tests for Establishing Security Properties.
TGC
Vincent Cheval, Stéphanie Delaune, Mark Ryan
2013 J jnl
Deciding equivalence-based properties using constraint solving.
Theor. Comput. Sci.
Vincent Cheval, Véronique Cortier, Stéphanie Delaune
2013 A* conf
Lengths May Break Privacy - Or How to Check for Equivalences with Length.
CAV
Vincent Cheval, Véronique Cortier, Antoine Plet
2013 — conf
Proving More Observational Equivalences with ProVerif.
POST
Vincent Cheval, Bruno Blanchet
2012 — —
Automatic verification of cryptographic protocols : privacy-type properties. (Vérification automatique des protocoles cryptographiques : propriétés d'équivalence).
Vincent Cheval
2012 A conf
Verifying Privacy-Type Properties in a Modular Way.
CSF
Myrto Arapinis, Vincent Cheval, Stéphanie Delaune
2011 A* conf
Trace equivalence decision: negative tests and non-determinism.
CCS
Vincent Cheval, Hubert Comon-Lundh, Stéphanie Delaune
2010 A conf
Automating Security Analysis: Symbolic Equivalence of Constraint Systems.
IJCAR
Vincent Cheval, Hubert Comon-Lundh, Stéphanie Delaune