Niklas Broberg, David Sands. Flow-sensitive semantics for dynamic information flow policies. In Stephen Chong, David A. Naumann, editors, Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009. pages 101-112, ACM, 2009. [doi]
Abstract is missing.