Allamigeon, Xavier Static Analysis, MPI for Informatics, Max Planck Society;
Blanchet, Bruno Static Analysis, MPI for Informatics, Max Planck Society;
Allamigeon, X., & Blanchet, B. (2005). Reconstruction of Attacks against Cryptographic Protocols. In 18th IEEE Computer Security Foundations Workshop (CSFW-18) (pp. 140-154). Los Alamitos, USA: IEEE.