@PhdThesis{livshits-thesis,
  author       = "Benjamin Livshits",
  title        = "Improving Software Security with Precise Static and Runtime Analysis",
  school       = "Stanford University",
  address      = "Stanford, California",
  year         = "2006",
}