@InProceedings{JohnsonWMC2015,
  author = 	 {Andrew Johnson and Lucas Waye and Scott Moore and Stephen Chong},
  title = 	 {Exploring and Enforcing Security Guarantees via Program Dependence Graphs},
  booktitle =    {Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation},
  year = 	 2015,
  month = 	 jun,
  pages =        {291--302},
  publisher =    {ACM Press},
  address = 	 {New York, NY, USA}
}