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