@InProceedings{VaughanC11,
  author = 	 {Jeffrey A. Vaughan and Stephen Chong},
  title = 	 {Inference of Expressive Declassification Policies},
  booktitle =	 {Proceedings of the 2011 {IEEE} Symposium on Security and Privacy},
  year = 	 2011,
  month = 	 may,
  pages =	 {180--195},
  publisher =    {IEEE Press},
  address = 	 {Piscataway, NJ, USA}
}