Using Safety Properties to Generate Vulnerability Patches
0 Comments
by Zhen Huang and David Lie and Gang Tan and Trent Jaeger
Reference:
Zhen Huang and David Lie and 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 = {Zhen Huang and
David Lie and
Gang Tan and
Trent Jaeger},
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>},
}