Skip to content

Using Safety Properties to Generate Vulnerability Patches

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. (A shorter version appeared as a Usenix login; article)
Bibtex Entry:
@inproceedings{zhuang:oakland2019:senx,
    author = "Huang, Zhen and Lie, David and Tan, Gang and Jaeger, Trent",
    title = "Using Safety Properties to Generate Vulnerability Patches",
    booktitle = "Proceedings of the 40th {IEEE} Symposium on Security and Privacy",
    year = "2019",
    month = "May",
    note = "(Acceptance 84/720, 12\%; 36 citations)",
    url = "https://security.csl.toronto.edu/wp-content/uploads/2019/03/zhuang-senx-SP2019.pdf",
    comment = {A shorter version appeared as a <a href="https://www.usenix.org/system/files/login/articles/login_winter20_05_huang.pdf">Usenix login; article</a>},
    citations = "36",
    gsid = "16759865145126088338"
}