Weiteng Chen

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 14

Top Topics

Top Venues

USENIX Security Symposium

Publications

Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui
VeriSMo: A Verified Security Module for Confidential VMs. OSDI (2024)
Zheng Zhang, Yu Hao, Weiteng Chen, Xiaochen Zou, Xingyu Li, Haonan Li, Yizhuo Zhai, Zhiyun Qian, Billy Lau
SymBisect: Accurate Bisection for Fuzzer-Exposed Vulnerabilities. USENIX Security Symposium (2024)
Jianan Yao, Ziqiao Zhou, Weiteng Chen, Weidong Cui
Leveraging Large Language Models for Automated Proof Synthesis in Rust. CoRR (2023)
Yu Hao, Guoren Li, Xiaochen Zou, Weiteng Chen, Shitong Zhu, Zhiyun Qian, Ardalan Amiri Sani
SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers. SP (2023)
Yu Hao, Weiteng Chen, Ziqiao Zhou, Weidong Cui
E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification. CoRR (2023)
Xiaochen Zou, Guoren Li, Weiteng Chen, Hang Zhang, Zhiyun Qian
SyzScope: Revealing High-Risk Security Impacts of Fuzzer-Exposed Bugs in Linux kernel. USENIX Security Symposium (2022)
Yizhuo Zhai, Yu Hao, Zheng Zhang, Weiteng Chen, Guoren Li, Zhiyun Qian, Chengyu Song, Manu Sridharan, Srikanth V. Krishnamurthy, Trent Jaeger, Paul L. Yu
Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel. NDSS (2022)
Jian Liu, Lin Yi, Weiteng Chen, Chengyu Song, Zhiyun Qian, Qiuping Yi
LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution. USENIX Security Symposium (2022)
Hang Zhang, Weiteng Chen, Yu Hao, Guoren Li, Yizhuo Zhai, Xiaochen Zou, Zhiyun Qian
Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels. CCS (2021)
Weiteng Chen, Yu Wang, Zheng Zhang, Zhiyun Qian
SyzGen: Automated Generation of Syscall Specification of Closed-Source macOS Drivers. CCS (2021)
Xiaochen Zou, Guoren Li, Weiteng Chen, Hang Zhang, Zhiyun Qian
SyzScope: Revealing High-Risk Security Impacts of Fuzzer-Exposed Bugs in Linux kernel. CoRR (2021)
Weiteng Chen, Xiaochen Zou, Guoren Li, Zhiyun Qian
KOOBE: Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities. USENIX Security Symposium (2020)
Shitong Zhu, Umar Iqbal, Zhongjie Wang, Zhiyun Qian, Zubair Shafiq, Weiteng Chen
ShadowBlock: A Lightweight and Stealthy Adblocking Browser. WWW (2019)
Weiteng Chen, Zhiyun Qian
Off-Path TCP Exploit: How Wireless Routers Can Jeopardize Your Secrets. USENIX Security Symposium (2018)