Blanchet, Bruno Static Analysis, MPI for Informatics, Max Planck Society;
Blanchet, B. (2002). From Secrecy to Authenticity in Security Protocols. In M. Hermenegildo, & G. Puebla (Eds.), Static Analysis, 9th International Symposium, SAS 2002 (pp. 342-359). Berlin, Germany: Springer.