2 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.CR2024
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…
cs.CR2023
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…
cs.CR2022★ 2 cited
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…