Blanchet, Bruno Static Analysis, MPI for Informatics, Max Planck Society;
Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Blanchet, B., & Podelski, A. (2003). Verification of Cryptographic Protocols: Tagging Enforces Termination. In A. D. Gordon (Ed.), Foundations of software science and computation structures: 6th International Conference, FOSSACS 2003 (pp. 136-152). Berlin, Germany: Springer.