Vincent Cheval

According to our database, Vincent Cheval authored at least 37 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

On Learning Polynomial Recursive Programs.

Alex Buna-Marginean, Vincent Cheval, Mahsa Shirmohammadi, James Worrell

Proc. ACM Program. Lang., January, 2024

DeepSec: Deciding Equivalence Properties for Security Protocols - Improved theory and practice.

Vincent Cheval, Steve Kremer, Itsaka Rakotonirina

TheoretiCS, 2024

On Tree Automata, Generating Functions, and Differential Equations.

Rida Ait El Manssour, Vincent Cheval, Mahsa Shirmohammadi, James Worrell

CoRR, 2024

2023

Symbolic protocol verification with dice.

Vincent Cheval, Raphaëlle Crubillé, Steve Kremer

J. Comput. Secur., 2023

Automatic verification of transparency protocols (extended version).

Vincent Cheval, José Moreira, Mark Ryan

CoRR, 2023

Automatic verification of transparency protocols.

Vincent Cheval, José Moreira, Mark Ryan

Proceedings of the 8th IEEE European Symposium on Security and Privacy, 2023

Indistinguishability Beyond Diff-Equivalence in ProVerif.

Vincent Cheval, Itsaka Rakotonirina

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

Election Verifiability with ProVerif.

Vincent Cheval, Véronique Cortier, Alexandre Debant

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

2022

Sapic+: protocol verifiers of the world, unite!

Vincent Cheval, Charlie Jacomme, Steve Kremer, Robert Künnemann

IACR Cryptol. ePrint Arch., 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

ProVerif with Lemmas, Induction, Fast Subsumption, and Much More.

Bruno Blanchet, Vincent Cheval, Véronique Cortier

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Symbolic protocol verification with dice: process equivalences in the presence of probabilities.

Vincent Cheval, Raphaëlle Crubillé, Steve Kremer

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

A Symbolic Analysis of Privacy for TLS 1.3 with Encrypted Client Hello.

Karthikeyan Bhargavan, Vincent Cheval, Christopher A. Wood

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2020

On the semantics of communications when verifying equivalence properties.

Kushal Babel, Vincent Cheval, Steve Kremer

J. Comput. Secur., 2020

The Hitchhiker's Guide to Decidability and Complexity of Equivalence Properties in Security Protocols.

Vincent Cheval, Steve Kremer, Itsaka Rakotonirina

Proceedings of the Logic, 2020

2019

Exploiting Symmetries When Proving Equivalence Properties for Security Protocols.

Vincent Cheval, Steve Kremer, Itsaka Rakotonirina

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice.

Vincent Cheval, Steve Kremer, Itsaka Rakotonirina

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

A Little More Conversation, a Little Less Action, a Lot More Satisfaction: Global States in ProVerif.

Vincent Cheval, Véronique Cortier, Mathieu Turuani

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

The DEEPSEC Prover.

Vincent Cheval, Steve Kremer, Itsaka Rakotonirina

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

A procedure for deciding symbolic equivalence between sets of constraint systems.

Vincent Cheval, Hubert Comon-Lundh, Stéphanie Delaune

Inf. Comput., 2017

On Communication Models When Verifying Equivalence Properties.

Kushal Babel, Vincent Cheval, Steve Kremer

Proceedings of the Principles of Security and Trust - 6th International Conference, 2017

Secure Composition of PKIs with Public Key Protocols.

Vincent Cheval, Véronique Cortier, Bogdan Warinschi

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2016

Automated Verification of Equivalence Properties of Cryptographic Protocols.

Rohit Chadha, Vincent Cheval, Stefan Ciobaca, Steve Kremer

ACM Trans. Comput. Log., 2016

DTKI: A New Formalized PKI with Verifiable Trusted Parties.

Jiangshan Yu, Vincent Cheval, Mark Ryan

Comput. J., 2016

2015

Timing Attacks in Security Protocols: Symbolic Framework and Proof Techniques.

Vincent Cheval, Véronique Cortier

Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

Composing Security Protocols: From Confidentiality to Privacy.

Myrto Arapinis, Vincent Cheval, Stéphanie Delaune

Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

Secure Refinements of Communication Channels.

Vincent Cheval, Véronique Cortier, Eric le Morvan

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

2014

DTKI: a new formalized PKI with no trusted parties.

Jiangshan Yu, Vincent Cheval, Mark Ryan

CoRR, 2014

Tests for Establishing Security Properties.

Vincent Cheval, Stéphanie Delaune, Mark Ryan

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

APTE: An Algorithm for Proving Trace Equivalence.

Vincent Cheval

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013

Deciding equivalence-based properties using constraint solving.

Vincent Cheval, Véronique Cortier, Stéphanie Delaune

Theor. Comput. Sci., 2013

Proving More Observational Equivalences with ProVerif.

Vincent Cheval, Bruno Blanchet

Proceedings of the Principles of Security and Trust - Second International Conference, 2013

Lengths May Break Privacy - Or How to Check for Equivalences with Length.

Vincent Cheval, Véronique Cortier, Antoine Plet

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

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

Vincent Cheval

PhD thesis, 2012

Verifying Privacy-Type Properties in a Modular Way.

Myrto Arapinis, Vincent Cheval, Stéphanie Delaune

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

2011

Trace equivalence decision: negative tests and non-determinism.

Vincent Cheval, Hubert Comon-Lundh, Stéphanie Delaune

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

2010

Automating Security Analysis: Symbolic Equivalence of Constraint Systems.

Vincent Cheval, Hubert Comon-Lundh, Stéphanie Delaune

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010