11 citations · 12 across the 2 of their papers we have counts for
2 papers
cs.CR2022★ 11 cited
The Security Protocol Verifier ProVerif and its Horn Clause Resolution Algorithm
Bruno Blanchet
ProVerif is a widely used security protocol verifier. Internally, ProVerif uses an abstract representation of the protocol by Horn clauses and a resolution algorithm on these claus…
cs.CR2008★ 1 cited
Automatic Verification of Correspondences for Security Protocols
Bruno Blanchet
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully autom…