@TechReport{JohnsonWMC2014tr,
  author = 	 {Andrew Johnson and Lucas Waye and Scott Moore and Stephen Chong},
  title = 	 {Exploring and Enforcing Application Security Guarantees via Program Dependence Graphs},
  institution =  {Harvard University},
  year = 	 2014,
  number = 	 {TR-04-14}
}