Inference of Expressive Declassification Policies

Jeffrey A. Vaughan, Stephen Chong. Inference of Expressive Declassification Policies. In 32nd IEEE Symposium on Security and Privacy, S&P 2011, 22-25 May 2011, Berkeley, California, USA. pages 180-195, IEEE Computer Society, 2011. [doi]

@inproceedings{VaughanC11,
  title = {Inference of Expressive Declassification Policies},
  author = {Jeffrey A. Vaughan and Stephen Chong},
  year = {2011},
  doi = {10.1109/SP.2011.20},
  url = {http://doi.ieeecomputersociety.org/10.1109/SP.2011.20},
  researchr = {https://researchr.org/publication/VaughanC11},
  cites = {0},
  citedby = {0},
  pages = {180-195},
  booktitle = {32nd IEEE Symposium on Security and Privacy, S&P 2011, 22-25 May 2011, Berkeley, California, USA},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4577-0147-4},
}