@InProceedings{livshits11bek,
  title        = "Fast and Precise Sanitizer Analysis With {BEK}",
  author       = "Pieter Hooimeijer, Benjamin Livshits, David Molnar, Prateek Saxena, and Margus Veanes",
  year         = "2011",
  month        = aug,
  booktitle    = "Proceedings of the Usenix Security Symposium",
}