Bart Jacobs, Wolter Pieters, Martijn Warnier. Statically checking confidentiality via dynamic labels. In Catherine Meadows, editor, Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, WITS 2005, Long Beach, California, USA, January 10-11, 2005. pages 50-56, ACM, 2005. [doi]
Abstract is missing.