Blanchet, Bruno Static Analysis, MPI for Informatics, Max Planck Society;
Abadi, M., & Blanchet, B. (2002). Analyzing Security Protocols with Secrecy Types and Logic Programs. In Conference Record of POPL 2002: The 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (pp. 33-44). New York, USA: ACM.