Skip to content

Using Safety Properties to Generate Vulnerability Patches

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