Gilles Barthe, Tamara Rezk, David A. Naumann. Deriving an Information Flow Checker and Certifying Compiler for Java. In 2006 IEEE Symposium on Security and Privacy (S&P 2006), 21-24 May 2006, Berkeley, California, USA. pages 230-242, IEEE Computer Society, 2006. [doi]
Abstract is missing.