@phdthesis{ligatti:thesis,
  author = {Jarred Adam Ligatti},
  title = "Policy Enforcement via Program Monitoring",
  month = jun,
  year = 2006,
  school = "Princeton University",
}