Weiteng Chen

16 papers A* 13Journal 3
YearRankTypeTitle / Venue / Authors
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
2024 A* conf
VeriSMo: A Verified Security Module for Confidential VMs.
OSDI
Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui
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 J jnl
Leveraging Large Language Models for Automated Proof Synthesis in Rust.
CoRR
Jianan Yao, Ziqiao Zhou, Weiteng Chen, 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
2022 A* conf
LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution.
USENIX Security Symposium
Jian Liu, Lin Yi, Weiteng Chen, Chengyu Song, Zhiyun Qian, Qiuping Yi
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
2022 A* conf
SyzScope: Revealing High-Risk Security Impacts of Fuzzer-Exposed Bugs in Linux kernel.
USENIX Security Symposium
Xiaochen Zou, Guoren Li, Weiteng Chen, Hang Zhang, Zhiyun Qian
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 A* conf
SyzGen: Automated Generation of Syscall Specification of Closed-Source macOS Drivers.
CCS
Weiteng Chen, Yu Wang, Zheng Zhang, Zhiyun Qian
2021 J jnl
SyzScope: Revealing High-Risk Security Impacts of Fuzzer-Exposed Bugs in Linux kernel.
CoRR
Xiaochen Zou, Guoren Li, Weiteng Chen, Hang Zhang, Zhiyun Qian
2020 A* conf
KOOBE: Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities.
USENIX Security Symposium
Weiteng Chen, Xiaochen Zou, Guoren Li, Zhiyun Qian
2019 A* conf
ShadowBlock: A Lightweight and Stealthy Adblocking Browser.
WWW
Shitong Zhu, Umar Iqbal, Zhongjie Wang, Zhiyun Qian, Zubair Shafiq, Weiteng Chen
2018 A* conf
Off-Path TCP Exploit: How Wireless Routers Can Jeopardize Your Secrets.
USENIX Security Symposium
Weiteng Chen, Zhiyun Qian