Before revision: Further reading Dexter Kozen, Language Based Security, Cornell University, 1999 Pieter Agten et al, Recent Developments in Low-Level Software Security, Universiteit Leuven Andrei Sabelfeld and Andrew C. Myers, Language-Based Information-Flow Security Fred B. Schneider et al, A Language-Based Approach to Security, Carnegie Mellon University, 2000 Books G. Barthe, B. Grégoire, A. Matos, T. Rezk, Secure information flow: definition, enforcement, and preservation through compilation, 2011 Brian Chess and Gary McGraw, Static Analysis for Security, 2004.
After revision: Further reading Dexter Kozen, Language Based Security, Cornell University, 1999 Pieter Agten et al, Recent Developments in Low-Level Software Security, Universiteit Leuven Andrei Sabelfeld and Andrew C. Myers, Language-Based Information-Flow Security Fred B. Schneider et al, A Language-Based Approach to Security, Carnegie Mellon University, 2000 Books G. Barthe, B. Grégoire, A. Matos, T. Rezk, Compilation of Certificates, 2008 Brian Chess and Gary McGraw, Static Analysis for Security, 2004.