57 citations · 60 across the 4 of their papers we have counts for
Showing 2014 · cs.CRShow all
2 papers · 2 filters
cs.CR2014★ 57 cited
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…
cs.CR2014★ 1 cited
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…