First-Class Labels: Using Information Flow to Debug Security Holes

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},
}