Eric Hennigan, Christoph Kerschbaumer, Stefan Brunthaler, Per Larsen, Michael Franz. First-Class Labels: Using Information Flow to Debug Security Holes. In Michael Huth, N. Asokan, Srdjan Capkun, Ivan Flechais, Lizzie Coles-Kemp, editors, Trust and Trustworthy Computing - 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings. Volume 7904 of Lecture Notes in Computer Science, pages 151-168, Springer, 2013. [doi]
Abstract is missing.