@InProceedings{brumley:wpsigs:2007,
  author = 	 {David Brumley and Hao Wang and Somesh Jha and Dawn Song },
  title = {Creating Vulnerability Signatures Using Weakest
Pre-conditions},

  booktitle = {Proceedings of the 2007 Computer Security Foundations
  Symposium},
  address = {Venice, Italy},
  year = 	 {2007},
  month = {July}
}