Automating Security Analysis: Symbolic Equivalence of Constraint Systems. - Vincent Cheval; Hubert Comon-Lundh; Stéphanie Delaune (IJCAR, 2010)

Trace equivalence decision: negative tests and non-determinism. - Vincent Cheval; Hubert Comon-Lundh; Stéphanie Delaune (CCS, 2011)

Verifying Privacy-Type Properties in a Modular Way. - Myrto Arapinis; Vincent Cheval; Stéphanie Delaune (CSF, 2012)

Automatic verification of cryptographic protocols : privacy-type properties. (Vérification automatique des protocoles cryptographiques : propriétés d'équivalence). - Vincent Cheval (2012)

Lengths May Break Privacy - Or How to Check for Equivalences with Length. - Vincent Cheval; Véronique Cortier; Antoine Plet (CAV, 2013)

Proving More Observational Equivalences with ProVerif. - Vincent Cheval; Bruno Blanchet (POST, 2013)

Deciding equivalence-based properties using constraint solving. - Vincent Cheval; Véronique Cortier; Stéphanie Delaune (Theor. Comput. Sci., 2013)

APTE: An Algorithm for Proving Trace Equivalence. - Vincent Cheval (TACAS, 2014)

Tests for Establishing Security Properties. - Vincent Cheval; Stéphanie Delaune; Mark Ryan 001 (TGC, 2014)

DTKI: a new formalized PKI with no trusted parties. - Jiangshan Yu; Vincent Cheval; Mark Ryan 001 (CoRR, 2014)

Secure Refinements of Communication Channels. - Vincent Cheval; Véronique Cortier; Eric le Morvan (FSTTCS, 2015)

Composing Security Protocols: From Confidentiality to Privacy. - Myrto Arapinis; Vincent Cheval; Stéphanie Delaune (POST, 2015)

Timing Attacks in Security Protocols: Symbolic Framework and Proof Techniques. - Vincent Cheval; Véronique Cortier (POST, 2015)

DTKI: A New Formalized PKI with Verifiable Trusted Parties. - Jiangshan Yu; Vincent Cheval; Mark Ryan 001 (Comput. J., 2016)

Automated Verification of Equivalence Properties of Cryptographic Protocols. - Rohit Chadha; Vincent Cheval; Stefan Ciobaca; Steve Kremer (ACM Trans. Comput. Log., 2016)

Secure Composition of PKIs with Public Key Protocols. - Vincent Cheval; Véronique Cortier; Bogdan Warinschi (CSF, 2017)

On Communication Models When Verifying Equivalence Properties. - Kushal Babel; Vincent Cheval; Steve Kremer (POST, 2017)

A procedure for deciding symbolic equivalence between sets of constraint systems. - Vincent Cheval; Hubert Comon-Lundh; Stéphanie Delaune (Inf. Comput., 2017)

The DEEPSEC Prover. - Vincent Cheval; Steve Kremer; Itsaka Rakotonirina (CAV (2), 2018)

A Little More Conversation, a Little Less Action, a Lot More Satisfaction: Global States in ProVerif. - Vincent Cheval; Véronique Cortier; Mathieu Turuani (CSF, 2018)

DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice. - Vincent Cheval; Steve Kremer; Itsaka Rakotonirina (IEEE Symposium on Security and Privacy, 2018)

Exploiting Symmetries When Proving Equivalence Properties for Security Protocols. - Vincent Cheval; Steve Kremer; Itsaka Rakotonirina (CCS, 2019)

The Hitchhiker's Guide to Decidability and Complexity of Equivalence Properties in Security Protocols. - Vincent Cheval; Steve Kremer; Itsaka Rakotonirina (Logic, Language, and Security, 2020)

On the semantics of communications when verifying equivalence properties. - Kushal Babel; Vincent Cheval; Steve Kremer (J. Comput. Secur., 2020)

A Symbolic Analysis of Privacy for TLS 1.3 with Encrypted Client Hello. - Karthikeyan Bhargavan; Vincent Cheval; Christopher A. Wood (CCS, 2022)

Symbolic protocol verification with dice: process equivalences in the presence of probabilities. - Vincent Cheval; Raphaëlle Crubillé; Steve Kremer (CSF, 2022)

ProVerif with Lemmas, Induction, Fast Subsumption, and Much More. - Bruno Blanchet; Vincent Cheval; Véronique Cortier (SP, 2022)

Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses. - Vincent Cheval; Cas Cremers; Alexander Dax; Lucca Hirschi; Charlie Jacomme; Steve Kremer (IACR Cryptol. ePrint Arch., 2022)

Sapic+: protocol verifiers of the world, unite! - Vincent Cheval; Charlie Jacomme; Steve Kremer; Robert Künnemann (IACR Cryptol. ePrint Arch., 2022)

Election Verifiability with ProVerif. - Vincent Cheval; Véronique Cortier; Alexandre Debant (CSF, 2023)

Indistinguishability Beyond Diff-Equivalence in ProVerif. - Vincent Cheval; Itsaka Rakotonirina (CSF, 2023)

Automatic verification of transparency protocols. - Vincent Cheval; José Moreira; Mark Ryan 001 (EuroS&P, 2023)

Automatic verification of transparency protocols (extended version). - Vincent Cheval; José Moreira; Mark Ryan 001 (CoRR, 2023)

Symbolic protocol verification with dice. - Vincent Cheval; Raphaëlle Crubillé; Steve Kremer (J. Comput. Secur., 2023)

On Tree Automata, Generating Functions, and Differential Equations. - Rida Ait El Manssour; Vincent Cheval; Mahsa Shirmohammadi; James Worrell 001 (CoRR, 2024)

DeepSec: Deciding Equivalence Properties for Security Protocols - Improved theory and practice. - Vincent Cheval; Steve Kremer; Itsaka Rakotonirina (TheoretiCS, 2024)

On Learning Polynomial Recursive Programs. - Alex Buna-Marginean; Vincent Cheval; Mahsa Shirmohammadi; James Worrell 001 (Proc. ACM Program. Lang., 2024)

Automatic Verification of Finite Variant Property Beyond Convergent Equational Theories. - Vincent Cheval; Caroline Fontaine (CSF, 2025)

On the Complexity of the Optimal Correlated Equilibria in Extensive-Form Games. - Vincent Cheval; Florian Horn 001; Soumyajit Paul; Mahsa Shirmohammadi (CoRR, 2025)