Weiteng Chen

Senior Researcher

Connect on Website

论文与出版物

查看方式：

- 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!
  
  Publication Github 项目
- Leveraging Large Language Models for Automated Proof Synthesis in Rust
  
  Jianan Yao, Ziqiao Zhou, Weiteng Chen, Weidong Cui
  
  arXiv:2311.03739 | November 2023
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- SyzGen: Automated Generation of Syscall Specification of Closed-Source macOS Drivers
  
  Weiteng Chen, Yu Wang, Zheng Zhang, Zhiyun Qian
  
  CCS ’21 | November 2021
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- Off-Path TCP Exploit: How Wireless Routers Can Jeopardize Your Secrets
  
  Weiteng Chen, Zhiyun Qian
  
  27th USENIX Security Symposium (USENIX Security 18) | August 2018
  
  Publication

- 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!
  
  Publication Github 项目
- Leveraging Large Language Models for Automated Proof Synthesis in Rust
  
  Jianan Yao, Ziqiao Zhou, Weiteng Chen, Weidong Cui
  
  arXiv:2311.03739 | November 2023
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- SyzGen: Automated Generation of Syscall Specification of Closed-Source macOS Drivers
  
  Weiteng Chen, Yu Wang, Zheng Zhang, Zhiyun Qian
  
  CCS ’21 | November 2021
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- Off-Path TCP Exploit: How Wireless Routers Can Jeopardize Your Secrets
  
  Weiteng Chen, Zhiyun Qian
  
  27th USENIX Security Symposium (USENIX Security 18) | August 2018
  
  Publication

- 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!
  
  Publication Github 项目
- Leveraging Large Language Models for Automated Proof Synthesis in Rust
  
  Jianan Yao, Ziqiao Zhou, Weiteng Chen, Weidong Cui
  
  arXiv:2311.03739 | November 2023
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- SyzGen: Automated Generation of Syscall Specification of Closed-Source macOS Drivers
  
  Weiteng Chen, Yu Wang, Zheng Zhang, Zhiyun Qian
  
  CCS ’21 | November 2021
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- Off-Path TCP Exploit: How Wireless Routers Can Jeopardize Your Secrets
  
  Weiteng Chen, Zhiyun Qian
  
  27th USENIX Security Symposium (USENIX Security 18) | August 2018
  
  Publication

Weiteng Chen

论文与出版物

VeriSMo: A Verified Security Module for Confidential VMs

Leveraging Large Language Models for Automated Proof Synthesis in Rust

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

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

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

Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels

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

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

ShadowBlock: A Lightweight and Stealthy Adblocking Browser

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

VeriSMo: A Verified Security Module for Confidential VMs

Leveraging Large Language Models for Automated Proof Synthesis in Rust

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

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

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

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

Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels

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

ShadowBlock: A Lightweight and Stealthy Adblocking Browser

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

VeriSMo: A Verified Security Module for Confidential VMs

Leveraging Large Language Models for Automated Proof Synthesis in Rust

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

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

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

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

Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels

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

ShadowBlock: A Lightweight and Stealthy Adblocking Browser

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

联系 Weiteng Chen

Microsoft Research Lab – Redmond