Skip to content
David Lie

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 Usenix login; Magazine, vol. 45, no. 4, 2020. (Read the original IEEE S&P Paper)
Bibtex Entry:
@article{zhuang:login2020:senx,
    author = "Huang, Zhen and Lie, David and Tan, Gang and Jaeger, Trent",
    title = "Using Safety Properties to Generate Vulnerability Patches",
    journal = "Usenix login; Magazine",
    volume = "45",
    number = "4",
    year = "2020",
    url = "https://www.usenix.org/system/files/login/articles/login_winter20_05_huang.pdf",
    timestamp = "Mon, 04 Jan 2021 17:15:49 +0100",
    biburl = "https://dblp.org/rec/journals/usenix-login/HuangLTJ20.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org",
    comment = {Read the original <a href= "https://security.csl.toronto.edu/wp-content/uploads/2019/03/zhuang-senx-SP2019.pdf">IEEE S\&P Paper</a>}
}