Explicit Secrecy: A Policy for Taint Tracking

Daniel Schoepe, Musard Balliu, Benjamin C. Pierce, Andrei Sabelfeld. Explicit Secrecy: A Policy for Taint Tracking. In IEEE European Symposium on Security and Privacy, EuroS&P 2016, Saarbrücken, Germany, March 21-24, 2016. pages 15-30, IEEE, 2016. [doi]

@inproceedings{SchoepeBPS16,
  title = {Explicit Secrecy: A Policy for Taint Tracking},
  author = {Daniel Schoepe and Musard Balliu and Benjamin C. Pierce and Andrei Sabelfeld},
  year = {2016},
  doi = {10.1109/EuroSP.2016.14},
  url = {http://dx.doi.org/10.1109/EuroSP.2016.14},
  researchr = {https://researchr.org/publication/SchoepeBPS16},
  cites = {0},
  citedby = {0},
  pages = {15-30},
  booktitle = {IEEE European Symposium on Security and Privacy, EuroS&P 2016, Saarbrücken, Germany, March 21-24, 2016},
  publisher = {IEEE},
  isbn = {978-1-5090-1752-2},
}