Blanchet, Bruno Static Analysis, MPI for Informatics, Max Planck Society;
Abadi, M., Blanchet, B., & Fournet, C. (2004). Just Fast Keying in the Pi Calculus. In D. Schmidt (Ed.), Programming Languages and Systems: 13th European Symposium on Programming (ESOP 2004) (pp. 340-354). Berlin, Germany: Springer.