C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Weiteng Chen
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 12
Top Topics
Linux Kernel
Clone Detection
Language Model
Lightweight
Top Venues
USENIX Security Symposium
CoRR
CCS
NDSS
</>
Publications
</>
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)