Yu Hao

23 papers A* 10A 2Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2025 A* conf
SCAD: Towards a Universal and Automated Network Side-Channel Vulnerability Detection.
SP
Keyu Man, Zhongjie Wang, Yu Hao, Shenghan Zheng, Xin'an Zhou, Yue Cao, Zhiyun Qian
2025 A* conf
SyzSpec: Specification Generation for Linux Kernel Fuzzing via Under-Constrained Symbolic Execution.
CCS
Yu Hao, Juefei Pu, Xingyu Li, Zhiyun Qian, Ardalan Amiri Sani
2024 J jnl
Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach.
Proc. ACM Program. Lang.
Haonan Li, Yu Hao, Yizhuo Zhai, Zhiyun Qian
2024 — —
Expanding the Boundaries of OS Kernel Fuzzing
Yu Hao
2024 A* conf
SymBisect: Accurate Bisection for Fuzzer-Exposed Vulnerabilities.
USENIX Security Symposium
Zheng Zhang, Yu Hao, Weiteng Chen, Xiaochen Zou, Xingyu Li, Haonan Li, Yizhuo Zhai, Zhiyun Qian, Billy Lau
2024 A* conf
SyzBridge: Bridging the Gap in Exploitability Assessment of Linux Kernel Bugs in the Linux Ecosystem.
NDSS
Xiaochen Zou, Yu Hao, Zheng Zhang, Juefei Pu, Weiteng Chen, Zhiyun Qian
2024 A* conf
SyzGen++: Dependency Inference for Augmenting Kernel Driver Fuzzing.
SP
Weiteng Chen, Yu Hao, Zheng Zhang, Xiaochen Zou, Dhilung Kirat, Shachee Mishra, Douglas Lee Schales, Jiyong Jang, Zhiyun Qian
2023 — conf
Assisting Static Analysis with Large Language Models: A ChatGPT Experiment.
ESEC/SIGSOFT FSE
Haonan Li, Yu Hao, Yizhuo Zhai, Zhiyun Qian
2023 J jnl
E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification.
CoRR
Yu Hao, Weiteng Chen, Ziqiao Zhou, Weidong Cui
2023 A* conf
SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers.
SP
Yu Hao, Guoren Li, Xiaochen Zou, Weiteng Chen, Shitong Zhu, Zhiyun Qian, Ardalan Amiri Sani
2023 J jnl
The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models.
CoRR
Haonan Li, Yu Hao, Yizhuo Zhai, Zhiyun Qian
2022 J jnl
ConcSpectre: Be Aware of Forthcoming Malware Hidden in Concurrent Programs.
IEEE Trans. Reliab.
Yang Liu, Zisen Xu, Ming Fan, Yu Hao, Kai Chen, Hao Chen, Yan Cai, Zijiang Yang, Ting Liu
2022 A* conf
Demystifying the Dependency Challenge in Kernel Fuzzing.
ICSE
Yu Hao, Hang Zhang, Guoren Li, Xingyun Du, Zhiyun Qian, Ardalan Amiri Sani
2022 A* conf
Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel.
NDSS
Yizhuo Zhai, Yu Hao, Zheng Zhang, Weiteng Chen, Guoren Li, Zhiyun Qian, Chengyu Song, Manu Sridharan, Srikanth V. Krishnamurthy, Trent Jaeger, Paul L. Yu
2021 A conf
Eluding ML-based Adblockers With Actionable Adversarial Examples.
ACSAC
Shitong Zhu, Zhongjie Wang, Xun Chen, Shasha Li, Keyu Man, Umar Iqbal, Zhiyun Qian, Kevin S. Chan, Srikanth V. Krishnamurthy, Zubair Shafiq, Yu Hao, Guoren Li, Zheng Zhang, Xiaochen Zou
2021 A* conf
Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels.
CCS
Hang Zhang, Weiteng Chen, Yu Hao, Guoren Li, Yizhuo Zhai, Xiaochen Zou, Zhiyun Qian
2021 — conf
Themis: Ambiguity-Aware Network Intrusion Detection based on Symbolic Model Comparison.
MTD@CCS
Zhongjie Wang, Shitong Zhu, Keyu Man, Pengxiong Zhu, Yu Hao, Zhiyun Qian, Srikanth V. Krishnamurthy, Tom La Porta, Michael J. De Lucia
2021 A* conf
Themis: Ambiguity-Aware Network Intrusion Detection based on Symbolic Model Comparison.
CCS
Zhongjie Wang, Shitong Zhu, Keyu Man, Pengxiong Zhu, Yu Hao, Zhiyun Qian, Srikanth V. Krishnamurthy, Tom La Porta, Michael J. De Lucia
2020 J jnl
Tell You a Definite Answer: Whether Your Data is Tainted During Thread Scheduling.
IEEE Trans. Software Eng.
Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Yu Hao, Pei Liu, Ting Liu
2020 — conf
UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel.
ESEC/SIGSOFT FSE
Yizhuo Zhai, Yu Hao, Hang Zhang, Daimeng Wang, Chengyu Song, Zhiyun Qian, Mohsen Lesani, Srikanth V. Krishnamurthy, Paul L. Yu
2018 J jnl
Debugging Multithreaded Programs as if They Were Sequential.
IEEE Access
Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Yu Hao, Pei Liu, Lechen Yu, Ting Liu
2017 A conf
Automated Testing of Definition-Use Data Flow for Multithreaded Programs.
ICST
Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Pei Liu, Jialiang Chang, Yu Hao, Ting Liu
2016 — conf
Debugging Multithreaded Programs as if They Were Sequential.
SATE
Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Yu Hao, Pei Liu, Lechen Yu, Ming Fan, Ting Liu