Vincent Cheval

Available identifiers

zbMath Open cheval.vincentMaRDI QIDQ391118

List of research outcomes

Publication	Date of Publication	Type
DeepSec: deciding equivalence properties for security protocols -- improved theory and practice	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	2020-08-03	Paper
A procedure for deciding symbolic equivalence between sets of constraint systems	2017-08-08	Paper
Automated verification of equivalence properties of cryptographic protocols	2017-07-13	Paper
Secure refinements of communication channels	2017-07-13	Paper
Deciding equivalence-based properties using constraint solving	2014-01-10	Paper
Proving more observational equivalences with ProVerif	2013-08-06	Paper
Automating security analysis: symbolic equivalence of constraint systems	2010-09-14	Paper

Research outcomes over time

This page was built for person: Vincent Cheval