39 citations · 44 across the 6 of their papers we have counts for
1 paper · 2 filters
Mathieu Baudet, Véronique Cortier, Stéphanie Delaune
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages…