Weiteng Chen

According to our database, Weiteng Chen authored at least 11 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification.

Yu Hao, Weiteng Chen, Ziqiao Zhou, Weidong Cui

CoRR, 2023

Leveraging Large Language Models for Automated Proof Synthesis in Rust.

Jianan Yao, Ziqiao Zhou, Weiteng Chen, Weidong Cui

CoRR, 2023

SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers.

Yu Hao, Guoren Li, Xiaochen Zou, Weiteng Chen, Shitong Zhu, Zhiyun Qian, Ardalan Amiri Sani

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

2022

SyzScope: Revealing High-Risk Security Impacts of Fuzzer-Exposed Bugs in Linux kernel.

Xiaochen Zou, Guoren Li, Weiteng Chen, Hang Zhang, Zhiyun Qian

Proceedings of the 31st USENIX Security Symposium, 2022

LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution.

Jian Liu, Lin Yi, Weiteng Chen, Chengyu Song, Zhiyun Qian, Qiuping Yi

Proceedings of the 31st USENIX Security Symposium, 2022

Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel.

Yizhuo Zhai, Yu Hao, Zheng Zhang, Weiteng Chen, Guoren Li, Zhiyun Qian, Chengyu Song, Manu Sridharan, Srikanth V. Krishnamurthy, Trent Jaeger, Paul L. Yu

Proceedings of the 29th Annual Network and Distributed System Security Symposium, 2022

2021

Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels.

Hang Zhang, Weiteng Chen, Yu Hao, Guoren Li, Yizhuo Zhai, Xiaochen Zou, Zhiyun Qian

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

SyzGen: Automated Generation of Syscall Specification of Closed-Source macOS Drivers.

Weiteng Chen, Yu Wang, Zheng Zhang, Zhiyun Qian

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

KOOBE: Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities.

Weiteng Chen, Xiaochen Zou, Guoren Li, Zhiyun Qian

Proceedings of the 29th USENIX Security Symposium, 2020

2019

ShadowBlock: A Lightweight and Stealthy Adblocking Browser.

Shitong Zhu, Umar Iqbal, Zhongjie Wang, Zhiyun Qian, Zubair Shafiq, Weiteng Chen

Proceedings of the World Wide Web Conference, 2019

2018

Off-Path TCP Exploit: How Wireless Routers Can Jeopardize Your Secrets.

Weiteng Chen, Zhiyun Qian

Proceedings of the 27th USENIX Security Symposium, 2018