@TechReport{livshits05finding_tr,
  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",
}