@inproceedings {291267, author = {Yuhang Wu and Zhenpeng Lin and Yueqi Chen and Dang K Le and Dongliang Mu and Xinyu Xing}, title = {Mitigating Security Risks in Linux with {KLAUS}: A Method for Evaluating Patch Correctness}, booktitle = {32nd USENIX Security Symposium (USENIX Security 23)}, year = {2023}, isbn = {978-1-939133-37-3}, address = {Anaheim, CA}, pages = {4247--4264}, url = {https://www.usenix.org/conference/usenixsecurity23/presentation/wu-yuhang}, publisher = {USENIX Association}, month = aug } @inproceedings {236242, author = {Wenbo Guo and Dongliang Mu and Xinyu Xing and Min Du and Dawn Song}, title = {{DEEPVSA}: Facilitating Value-set Analysis with Deep Learning for Postmortem Program Analysis}, booktitle = {28th USENIX Security Symposium (USENIX Security 19)}, year = {2019}, isbn = {978-1-939133-06-9}, address = {Santa Clara, CA}, pages = {1787--1804}, url = {https://www.usenix.org/conference/usenixsecurity19/presentation/guo}, publisher = {USENIX Association}, month = aug } @inproceedings {217567, author = {Dongliang Mu and Alejandro Cuevas and Limin Yang and Hang Hu and Xinyu Xing and Bing Mao and Gang Wang}, title = {Understanding the Reproducibility of Crowd-reported Security Vulnerabilities}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, year = {2018}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {919--936}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/mu}, publisher = {USENIX Association}, month = aug } @inproceedings {203880, author = {Jun Xu and Dongliang Mu and Xinyu Xing and Peng Liu and Ping Chen and Bing Mao}, title = {Postmortem Program Analysis with {Hardware-Enhanced} {Post-Crash} Artifacts}, booktitle = {26th USENIX Security Symposium (USENIX Security 17)}, year = {2017}, isbn = {978-1-931971-40-9}, address = {Vancouver, BC}, pages = {17-32}, url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/xu-jun}, publisher = {USENIX Association}, month = aug }