@inproceedings{, author = {Hennigan, Eric; Kerschbaumer, Christoph; Brunthaler, Stefan; Larsen, Per; Franz, Michael}, title = {First-Class Labels : Using Information Flow to Debug Security Holes}, editor = {Huth, Michael; Asokan, N.; Čapkun, Srdjan; Flechais, Ivan; Coles-Kemp, Lizzie}, booktitle = {Trust and Trustworthy Computing : 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, journal = {}, address = {Berlin ; Heidelberg}, publisher = {Springer}, edition = {}, year = {2013}, isbn = {}, volume = {7904}, number = {}, pages = {151-168}, url = {}, doi = {}, keywords = {}, abstract = {}, note = {}, }