---

“Using Safety Properties to Generate Vulnerability Patches” by Zhen Huang, David Lie, Gang Tan, and Trent Jaeger. USENIX ;login, vol. 45, no. 4, Dec. 2020, pp. 23-28.

Download: PDF.

BibTeX entry:

@article{login20,
   author = {Zhen Huang and David Lie and Gang Tan and Trent Jaeger},
   title = {Using Safety Properties to Generate Vulnerability Patches},
   journal = {USENIX ;login},
   volume = {45},
   number = {4},
   pages = {23--28},
   month = dec,
   year = {2020}
}

---

(This webpage was created with bibtex2web.)

Back to Trent Jaeger's Publications.