Mathy Vanhoef, Willem De Groef, Dominique Devriese, Frank Piessens, Tamara Rezk. Stateful Declassification Policies for Event-Driven Programs. In IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014. pages 293-307, IEEE, 2014. [doi]
Abstract is missing.