@TechReport{livshits05finding,
  title        = "Finding Security Errors in {J}ava Programs with Static Analysis",
  author       = "V. Benjamin Livshits and Monica S. Lam",
  year         = "2005",
  month        = aug,
  institution  = "Stanford University",
}