The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication

10 September 2016

Papers citing "The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication"

4 / 4 papers shown

Title
The Inductive Approach to Verifying Cryptographic Protocols Lawrence Charles Paulson 38 1,018 0 13 May 2021
Automated analysis of security protocols with global state S. Kremer Robert Künnemann 71 95 0 05 Mar 2014
YAPA: A generic tool for computing intruder knowledge M. Baudet V. Cortier S. Delaune 86 47 0 05 May 2010
Automatic Verification of Correspondences for Security Protocols B. Blanchet 108 241 0 23 Feb 2008