Enforcing Information Flow by Combining Static and Dynamic Analysis. - Andrew Bedford; Josée Desharnais; Théophane G. Godonou; Nadia Tawbi (FPS, 2013)