@inproceedings{zhuang:senx
  title = {Using Safety Properties to Generate Vulnerability Patches},
  author = {Zhen Huang and David Lie and Gang Tan and Trent Jaeger},
  year = {2019},
  month = {may},
  comment = {Forthcoming}
}