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:
@string{oakland19="Proceedings of the 40th IEEE Symposium on Security and Privacy"}
@inproceedings{zhuang:oakland2019:senx,
	title = {Using Safety Properties to Generate Vulnerability Patches},
	author = {Zhen Huang and David Lie and Gang Tan and Trent Jaeger},
	booktitle = OAKLAND19,
	year = 2019,
	month = may,
	note = {(Acceptance 84/720, 12\%},
	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>}
}