Vincent Cheval

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 28

Top Venues

CoRR

CSF

POST

IEEE Symposium on Security and Privacy

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications

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

Vincent Cheval.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Vincent Cheval