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