@string{oakland19="Proceedings of the 40th IEEE Symposium on Security and Privacy"}
@inproceedings{zhuang:senx
  title = {Using Safety Properties to Generate Vulnerability Patches},
  author = {Zhen Huang and David Lie and Gang Tan and Trent Jaeger},
  booktitle = OAKLAND19,
  year = {2019},
  month = {may},
  comment = {Forthcoming}
}