57 citations · 60 across the 4 of their papers we have counts for
5 papers · 1 filter
Automatic verification of Finite Variant Property beyond convergent equational theories
Vincent Cheval, Caroline Fontaine
Computer-aided analysis of security protocols heavily relies on equational theories to model cryptographic primitives. Most automated verifiers for security protocols focus on equa…
Automatic verification of transparency protocols (extended version)
Vincent Cheval, José Moreira, Mark Ryan
Transparency protocols are protocols whose actions can be publicly monitored by observers (such observers may include regulators, rights advocacy groups, or the general public). Th…
DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
Automated verification has become an essential part in the security evaluation of cryptographic protocols. In this context privacy-type properties are often modelled by indistingui…
DTKI: a new formalized PKI with no trusted parties
Jiangshan Yu, Vincent Cheval, Mark Ryan
The security of public key validation protocols for web-based applications has recently attracted attention because of weaknesses in the certificate authority model, and consequent…
Composing security protocols: from confidentiality to privacy
Myrto Arapinis, Vincent Cheval, Stéphanie Delaune
Security protocols are used in many of our daily-life applications, and our privacy largely depends on their design. Formal verification techniques have proved their usefulness to…