“Using Safety Properties to Generate Vulnerability Patches” by Zhen Huang, David Lie, Gang Tan, and Trent Jaeger. In Proceedings of the 40th IEEE Symposium on Security and Privacy, May 2019.

Download: PDF.

BibTeX entry:

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

(This webpage was created with bibtex2web.)

Back to Trent Jaeger's Publications.