Blanchet, Bruno Static Analysis, MPI for Informatics, Max Planck Society;
Blanchet, B. (2004). Automatic Proof of Strong Secrecy for Security Protocols. In 2004 IEEE Symposium on Security and Privacy (pp. 86-100). Piscataway, USA: IEEE.