Blanchet, Bruno Static Analysis, MPI for Informatics, Max Planck Society;
Abadi, M., & Blanchet, B. (2005). Computer-Assisted Verification of a Protocol for Certified Email. Science of Computer Programming, 58(1-2), 3-27.