Off-Path TCP Exploit: How Wireless Routers Can Jeopardize Your Secrets. - Weiteng Chen; Zhiyun Qian (USENIX Security Symposium, 2018)

ShadowBlock: A Lightweight and Stealthy Adblocking Browser. - Shitong Zhu; Umar Iqbal 002; Zhongjie Wang 002; Zhiyun Qian; Zubair Shafiq; Weiteng Chen (WWW, 2019)

KOOBE: Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities. - Weiteng Chen; Xiaochen Zou; Guoren Li; Zhiyun Qian (USENIX Security Symposium, 2020)

SyzGen: Automated Generation of Syscall Specification of Closed-Source macOS Drivers. - Weiteng Chen; Yu Wang; Zheng Zhang; Zhiyun Qian (CCS, 2021)

Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels. - Hang Zhang 012; Weiteng Chen; Yu Hao 006; Guoren Li; Yizhuo Zhai; Xiaochen Zou; Zhiyun Qian (CCS, 2021)

Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel. - Yizhuo Zhai; Yu Hao 006; Zheng Zhang; Weiteng Chen; Guoren Li; Zhiyun Qian; Chengyu Song; Manu Sridharan; Srikanth V. Krishnamurthy; Trent Jaeger; Paul L. Yu (NDSS, 2022)

LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution. - Jian Liu 008; Lin Yi; Weiteng Chen; Chengyu Song; Zhiyun Qian; Qiuping Yi (USENIX Security Symposium, 2022)

SyzScope: Revealing High-Risk Security Impacts of Fuzzer-Exposed Bugs in Linux kernel. - Xiaochen Zou; Guoren Li; Weiteng Chen; Hang Zhang 012; Zhiyun Qian (USENIX Security Symposium, 2022)

SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers. - Yu Hao 006; Guoren Li; Xiaochen Zou; Weiteng Chen; Shitong Zhu; Zhiyun Qian; Ardalan Amiri Sani (SP, 2023)

Leveraging Large Language Models for Automated Proof Synthesis in Rust. - Jianan Yao; Ziqiao Zhou; Weiteng Chen; Weidong Cui (CoRR, 2023)

E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification. - Yu Hao 006; Weiteng Chen; Ziqiao Zhou; Weidong Cui (CoRR, 2023)

SyzBridge: Bridging the Gap in Exploitability Assessment of Linux Kernel Bugs in the Linux Ecosystem. - Xiaochen Zou; Yu Hao 006; Zheng Zhang; Juefei Pu; Weiteng Chen; Zhiyun Qian (NDSS, 2024)

VeriSMo: A Verified Security Module for Confidential VMs. - Ziqiao Zhou; Anjali; Weiteng Chen; Sishuai Gong; Chris Hawblitzel; Weidong Cui (OSDI, 2024)

SyzGen++: Dependency Inference for Augmenting Kernel Driver Fuzzing. - Weiteng Chen; Yu Hao 006; Zheng Zhang; Xiaochen Zou; Dhilung Kirat; Shachee Mishra; Douglas Lee Schales; Jiyong Jang; Zhiyun Qian (SP, 2024)

SymBisect: Accurate Bisection for Fuzzer-Exposed Vulnerabilities. - Zheng Zhang; Yu Hao 006; Weiteng Chen; Xiaochen Zou; Xingyu Li; Haonan Li; Yizhuo Zhai; Zhiyun Qian; Billy Lau (USENIX Security Symposium, 2024)