328 citations · 355 across the 4 of their papers we have counts for
1 paper · 2 filters
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…