Blanchet, Bruno Static Analysis, MPI for Informatics, Max Planck Society;
Abadi, M., & Blanchet, B. (2003). Secrecy Types for Asymmetric Communication. Theoretical Computer Science, 298(3), 387-415.