Vincent Cheval

Publications

463

Citations

H-Index

2011

Active since

Affiliations

Laboratoire Lorrain de Recherche en Informatique et ses Applications(Current)

Institut national de recherche en sciences et technologies du numérique

Centre National de la Recherche Scientifique

École Normale Supérieure Paris-Saclay

University of Birmingham

Vincent Cheval is an author at Laboratoire Lorrain de Recherche en Informatique et ses Applications specializing in formal methods, formal verification, and computer science.

ORCID

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationCryptographyData SecurityData PrivacyInformation SecurityAutomated Reasoning

Publications per year

2011–2022

Publications

Automated Verification of Equivalence Properties of Cryptographic Protocols

Rohit Chadha, Vincent Cheval, Ştefan Ciobâcă et al. · ACM Transactions on Computational Logic · 2016 · 71 citations · Full text

Cryptographic Primitive, Engineering, Indistinguishability Properties +17

DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice

Vincent Cheval, Steve Kremer, Itsaka Rakotonirina · 2018 · 70 citations · Full text

Labelled Bisimilarity, Cryptographic Primitive, Engineering +25

Automatic Cryptographic Protocol Verifier, User Manual and Tutorial

Bruno Blanchet, Ben Smyth, Vincent Cheval · 2014 · 59 citations

Trace equivalence decision

Vincent Cheval, Hubert Comon-Lundh, Stéphanie Delaune · 2011 · 58 citations

Computational Complexity Theory, Engineering, Cryptographic Primitive +19

Deciding equivalence-based properties using constraint solving

Vincent Cheval, Véronique Cortier, Stéphanie Delaune · Theoretical Computer Science · 2013 · 49 citations

Constraint Solving, Engineering, Automated Reasoning +8

Rows per page

1–5 of 12