2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.CR2022★ 2 cited
Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version)
Linard Arquint, Felix A. Wolf, Joseph Lallemand +5
We provide a framework consisting of tools and metatheorems for the end-to-end verification of security protocols, which bridges the gap between automated protocol verification and…
cs.CR2017★ 1 cited
A Type System for Privacy Properties (Technical Report)
Véronique Cortier, Niklas Grimm, Joseph Lallemand +1
Mature push button tools have emerged for checking trace properties (e.g. secrecy or authentication) of security protocols. The case of indistinguishability-based privacy propertie…