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>}, }