Blanchet, Bruno Static Analysis, MPI for Informatics, Max Planck Society;
Blanchet, B. (2003). Automatic Verification of Cryptographic Protocols: A Logic Programming Approach. In Proceedings of the Fifth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP-03) (pp. 1-3). New York, USA: ACM.