Blanchet, Bruno Static Analysis, MPI for Informatics, Max Planck Society;
Blanchet, B., Abadi, M., & Fournet, C. (2005). Automated Verification of Selected Equivalences for Security Protocols. In 20th IEEE Symposium on Logic in Computer Science (LICS 2005) (pp. 331-340). Los Alamitos, USA: IEEE.