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]
@inproceedings{HenniganKBLF13, title = {First-Class Labels: Using Information Flow to Debug Security Holes}, author = {Eric Hennigan and Christoph Kerschbaumer and Stefan Brunthaler and Per Larsen and Michael Franz}, year = {2013}, doi = {10.1007/978-3-642-38908-5_12}, url = {http://dx.doi.org/10.1007/978-3-642-38908-5_12}, researchr = {https://researchr.org/publication/HenniganKBLF13}, cites = {0}, citedby = {0}, pages = {151-168}, booktitle = {Trust and Trustworthy Computing - 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings}, editor = {Michael Huth and N. Asokan and Srdjan Capkun and Ivan Flechais and Lizzie Coles-Kemp}, volume = {7904}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-38907-8}, }