Vincent Cheval

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
DeepSec: deciding equivalence properties for security protocols -- improved theory and practice TheoretiCS	2024-07-03	Paper
The Hitchhiker's guide to decidability and complexity of equivalence properties in security protocols	2021-07-08	Paper
On Communication Models When Verifying Equivalence Properties Lecture Notes in Computer Science	2020-08-03	Paper
A procedure for deciding symbolic equivalence between sets of constraint systems Information and Computation	2017-08-08	Paper
Automated verification of equivalence properties of cryptographic protocols ACM Transactions on Computational Logic	2017-07-13	Paper
Secure refinements of communication channels	2017-07-13	Paper
Deciding equivalence-based properties using constraint solving Theoretical Computer Science	2014-01-10	Paper
Proving more observational equivalences with ProVerif Lecture Notes in Computer Science	2013-08-06	Paper
Automating security analysis: symbolic equivalence of constraint systems Automated Reasoning	2010-09-14	Paper

Research outcomes over time

This page was built for person: Vincent Cheval