Skip to content
by Zhen Huang, David Lie, Gang Tan and Trent Jaeger
Reference:
Zhen Huang, David Lie, Gang Tan and Trent Jaeger, “Using Safety Properties to Generate Vulnerability Patches”, In Proceedings of the 40th IEEE Symposium on Security and Privacy, 2019. (To Appear)
Bibtex Entry:
@string{oakland19="Proceedings of the 40th IEEE Symposium on Security and Privacy"}
@inproceedings{zhuang:oakland2019,senx,
  title = {\href{https://security.csl.toronto.edu/wp-content/uploads/2019/03/zhuang-senx-SP2019.pdf}{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 = {To Appear}
}