@inproceedings{gjcmv:bufferoverrun:ccs2003,
  author = {Vinod Ganapathy and Somesh Jha and David Chandler and David Melski and David Vitek},
  title = {Buffer Overrun Detection Using Linear Programming and Static Analysis},
  booktitle = {CCS'03: Proceedings of the 10th ACM Conference on Computer and Communications Security},
  month = {October},
  year = {2003},
  pages = {345--354},
  address = {Washington, DC, USA},
  doi = {10.1145/948109.948155},
  publisher = {ACM Press, New York, NY, USA}
}