Weiteng Chen

According to our database, Weiteng Chen authored at least 15 papers between 2018 and 2024.

Collaborative distances:

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

2024

SymBisect: Accurate Bisection for Fuzzer-Exposed Vulnerabilities.

Zheng Zhang, Yu Hao, Weiteng Chen, Xiaochen Zou, Xingyu Li, Haonan Li, Yizhuo Zhai, Zhiyun Qian, Billy Lau

Proceedings of the 33rd USENIX Security Symposium, 2024

SyzGen++: Dependency Inference for Augmenting Kernel Driver Fuzzing.

Weiteng Chen, Yu Hao, Zheng Zhang, Xiaochen Zou, Dhilung Kirat, Shachee Mishra, Douglas Lee Schales, Jiyong Jang, Zhiyun Qian

Proceedings of the IEEE Symposium on Security and Privacy, 2024

VeriSMo: A Verified Security Module for Confidential VMs.

Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

SyzBridge: Bridging the Gap in Exploitability Assessment of Linux Kernel Bugs in the Linux Ecosystem.

Xiaochen Zou, Yu Hao, Zheng Zhang, Juefei Pu, Weiteng Chen, Zhiyun Qian

Proceedings of the 31st Annual Network and Distributed System Security Symposium, 2024

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