Blanchet, Bruno Static Analysis, MPI for Informatics, Max Planck Society;
Abadi, M., & Blanchet, B. (2003). Computer-Assisted Verification of a Protocol for Certified Email. In R. Cousot (Ed.), Static Analysis, 10th International Symposium, SAS'03 (pp. 316-335). Berlin, Germany: Springer.