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