Arnar Birgisson, Daniel Hedin, Andrei Sabelfeld. Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing. In Sara Foresti, Moti Yung, Fabio Martinelli, editors, Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings. Volume 7459 of Lecture Notes in Computer Science, pages 55-72, Springer, 2012. [doi]