@InProceedings{MooreAC12,
  author = 	 {Scott Moore and Aslan Askarov and Stephen Chong},
  title = 	 {Precise Enforcement of Progress-Sensitive Security},
  booktitle =	 {Proceedings of the 19th {ACM} Conference on Computer and Communications Security},
  month = 	 oct,
  year = 	 2012,
  pages =        {881--893},
  publisher =    {ACM Press},
  address = 	 {New York, NY, USA}
}