David Lie
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.
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},
}