VeriSMo: A Verified Security Module for Confidential VMs
Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui
OSDI 2024 | July 2024
Jay Lepreau Best Paper Award
Awarded Best Paper!
Publications
Publications by Year
-
-
Leveraging Large Language Models for Automated Proof Synthesis in Rust
Jianan Yao, Ziqiao Zhou, Weiteng Chen, Weidong Cui
arXiv:2311.03739 | November 2023
-
LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution
Jian Liu, Lin Yi, Weiteng Chen, Chengyu Song, Zhiyun Qian, Qiuping Yi
USENIX Security'22 | August 2022
SyzScope: Revealing High-Risk Security Impacts of Fuzzer-Exposed Bugs in Linux kernel
Xiaochen Zou, Guoren Li, Weiteng Chen, Hang Zhang, Zhiyun Qian
USENIX Security | August 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 Yu
Network and Distributed Systems Security (NDSS) Symposium 2022 | April 2022
-
Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels
Hang Zhang, Weiteng Chen, Yu Hao, Guoren Li, Yizhuo Zhai, Xiaochen Zou, Zhiyun Qian
CCS '21 | November 2021
SyzGen: Automated Generation of Syscall Specification of Closed-Source macOS Drivers
Weiteng Chen, Yu Wang, Zheng Zhang, Zhiyun Qian
CCS ’21 | November 2021
-
KOOBE: Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities
Weiteng Chen, Xiaochen Zou, Guoren Li, Zhiyun Qian
29th USENIX Security Symposium (USENIX Security 20) | August 2020
-
ShadowBlock: A Lightweight and Stealthy Adblocking Browser
Shitong Zhu, Umar Iqbal, Zhongjie Wang, Zhiyun Qian, Zubair Shafiq, Weiteng Chen
The World Wide Web Conference | May 2019
-
Off-Path TCP Exploit: How Wireless Routers Can Jeopardize Your Secrets
Weiteng Chen, Zhiyun Qian
27th USENIX Security Symposium (USENIX Security 18) | August 2018
Publications by Research Area
-
VeriSMo: A Verified Security Module for Confidential VMs
Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui
OSDI 2024 | July 2024
Jay Lepreau Best Paper Award
Awarded Best Paper!
Leveraging Large Language Models for Automated Proof Synthesis in Rust
Jianan Yao, Ziqiao Zhou, Weiteng Chen, Weidong Cui
arXiv:2311.03739 | November 2023
LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution
Jian Liu, Lin Yi, Weiteng Chen, Chengyu Song, Zhiyun Qian, Qiuping Yi
USENIX Security'22 | August 2022
SyzScope: Revealing High-Risk Security Impacts of Fuzzer-Exposed Bugs in Linux kernel
Xiaochen Zou, Guoren Li, Weiteng Chen, Hang Zhang, Zhiyun Qian
USENIX Security | August 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 Yu
Network and Distributed Systems Security (NDSS) Symposium 2022 | April 2022
SyzGen: Automated Generation of Syscall Specification of Closed-Source macOS Drivers
Weiteng Chen, Yu Wang, Zheng Zhang, Zhiyun Qian
CCS ’21 | November 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
CCS '21 | November 2021
KOOBE: Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities
Weiteng Chen, Xiaochen Zou, Guoren Li, Zhiyun Qian
29th USENIX Security Symposium (USENIX Security 20) | August 2020
ShadowBlock: A Lightweight and Stealthy Adblocking Browser
Shitong Zhu, Umar Iqbal, Zhongjie Wang, Zhiyun Qian, Zubair Shafiq, Weiteng Chen
The World Wide Web Conference | May 2019
Off-Path TCP Exploit: How Wireless Routers Can Jeopardize Your Secrets
Weiteng Chen, Zhiyun Qian
27th USENIX Security Symposium (USENIX Security 18) | August 2018
Publications by Type
-
VeriSMo: A Verified Security Module for Confidential VMs
Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui
OSDI 2024 | July 2024
Jay Lepreau Best Paper Award
Awarded Best Paper!
Leveraging Large Language Models for Automated Proof Synthesis in Rust
Jianan Yao, Ziqiao Zhou, Weiteng Chen, Weidong Cui
arXiv:2311.03739 | November 2023
LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution
Jian Liu, Lin Yi, Weiteng Chen, Chengyu Song, Zhiyun Qian, Qiuping Yi
USENIX Security'22 | August 2022
SyzScope: Revealing High-Risk Security Impacts of Fuzzer-Exposed Bugs in Linux kernel
Xiaochen Zou, Guoren Li, Weiteng Chen, Hang Zhang, Zhiyun Qian
USENIX Security | August 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 Yu
Network and Distributed Systems Security (NDSS) Symposium 2022 | April 2022
SyzGen: Automated Generation of Syscall Specification of Closed-Source macOS Drivers
Weiteng Chen, Yu Wang, Zheng Zhang, Zhiyun Qian
CCS ’21 | November 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
CCS '21 | November 2021
KOOBE: Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities
Weiteng Chen, Xiaochen Zou, Guoren Li, Zhiyun Qian
29th USENIX Security Symposium (USENIX Security 20) | August 2020
ShadowBlock: A Lightweight and Stealthy Adblocking Browser
Shitong Zhu, Umar Iqbal, Zhongjie Wang, Zhiyun Qian, Zubair Shafiq, Weiteng Chen
The World Wide Web Conference | May 2019
Off-Path TCP Exploit: How Wireless Routers Can Jeopardize Your Secrets
Weiteng Chen, Zhiyun Qian
27th USENIX Security Symposium (USENIX Security 18) | August 2018