Senior Researcher · Microsoft Research
Hi, I’m Weiteng Chen.
I’m a systems security researcher. I build tools that find, assess, and prevent vulnerabilities in low-level software, from kernel fuzzing and automatic exploit generation to formally verified confidential computing. These days I’m building LiteBox, a security-focused library OS.
01 / About
About me
I’m a Senior Researcher at Microsoft Research in Redmond, where I work on confidential computing and AI for security. My current focus is LiteBox, a security-focused library OS in Rust that shrinks the host interface to minimize attack surface. My research sits where operating systems meet security. I build automated tools that uncover vulnerabilities in OS kernels, determine how exploitable they really are, and, more and more, prove that critical low-level software is correct in the first place.
I received my Ph.D. in Computer Science from the University of California, Riverside in 2022, where I worked in the Security Lab. My work there covered automatic exploit generation for Linux kernel out-of-bounds writes (KOOBE), interface recovery for fuzzing closed-source macOS drivers (SyzGen), and a timing side channel present in every generation of Wi-Fi, which earned the IRTF Applied Networking Research Prize. Before that, I received my B.S. in Computer Science from Peking University.
I’ve also interned at IBM Research and Facebook. I’ve spoken at USENIX Security, ACM CCS, the Linux Security Summit, and the IRTF Open Meeting.
02 / News
Recent highlights
-
SymBisect appeared at USENIX Security ’24.
-
VeriSMo received the Best Paper Award at OSDI ’24 🏆
-
SyzGen++, on dependency inference for kernel driver fuzzing, appeared at IEEE S&P ’24.
-
SyzBridge appeared at NDSS ’24.
-
SyzDescribe appeared at IEEE S&P ’23.
-
Joined Microsoft Research in Redmond as a Senior Researcher.
-
Completed my Ph.D. in Computer Science at UC Riverside.
-
Presented SyzGen at ACM CCS ’21. Bugs it found earned a $26,500 bounty from Apple.
-
Won the IRTF Applied Networking Research Prize for our off-path TCP exploit work.
-
Won a $15,000 award at the GeekPwn International Security Geek Contest in Silicon Valley.
03 / Research
Publications
-
VeriSMo: A Verified Security Module for Confidential VMs
18th USENIX Symposium on Operating Systems Design and Implementation
-
SymBisect: Accurate Bisection for Fuzzer-Exposed Vulnerabilities
33rd USENIX Security Symposium
-
SyzGen++: Dependency Inference for Augmenting Kernel Driver Fuzzing
2024 IEEE Symposium on Security and Privacy
-
SyzBridge: Bridging the Gap in Exploitability Assessment of Linux Kernel Bugs in the Linux Ecosystem
Network and Distributed System Security Symposium
-
SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers
2023 IEEE Symposium on Security and Privacy
-
SyzScope: Revealing High-Risk Security Impacts of Fuzzer-Exposed Bugs in Linux Kernel
31st USENIX Security Symposium
-
LinKRID: Vetting Imbalance Reference Counting in Linux Kernel with Symbolic Execution
31st USENIX Security Symposium
-
Progressive Scrutiny: Incremental Detection of UBI Bugs in the Linux Kernel
Network and Distributed System Security Symposium
-
SyzGen: Automated Generation of Syscall Specification of Closed-Source macOS Drivers
2021 ACM SIGSAC Conference on Computer and Communications Security
-
Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels
2021 ACM SIGSAC Conference on Computer and Communications Security
-
KOOBE: Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities
29th USENIX Security Symposium
-
ShadowBlock: A Lightweight and Stealthy Adblocking Browser
The World Wide Web Conference
-
Off-Path TCP Exploit: How Wireless Routers Can Jeopardize Your Secrets
27th USENIX Security Symposium
See the full list on Google Scholar
04 / Experience
Where I’ve worked
-
Oct 2022 – Present
Senior Researcher
Microsoft Research · Redmond, WA
- Building LiteBox, a security-focused library OS for sandboxing in both kernel and user mode
- Confidential computing and verified systems software
- AI for security
-
Jun – Sep 2022
Security Research Intern
IBM Research · Yorktown Heights, NY
- Built a system that infers syscall dependencies to generate kernel fuzzing specifications automatically. It found 30+ unique Linux kernel bugs (later published as SyzGen++).
-
Jun – Sep 2021
Security Software Developer Intern
Facebook · Menlo Park, CA
- Integrated AFL-QEMU for binary-only fuzzing across a large fleet of remote machines
- Automated bug triage and exploitability assessment with GDB scripting
-
Sep 2017 – Sep 2022
Graduate Research Assistant
Security Lab, UC Riverside · Riverside, CA
- Kernel exploit generation, interface recovery for fuzzing, and network side channels
- Teaching Assistant, CS 165 Computer Security (Winter 2021)
05 / Open source
Selected projects
- LiteBoxCurrent focus A security-focused library OS in Rust that drastically reduces the interface to the host, and with it the attack surface. Its pluggable “North” shims and “South” platforms let it run in both kernel and user mode: unmodified Linux programs on Windows, sandboxed Linux apps, workloads on AMD SEV-SNP, OP-TEE programs on Linux, and more.
- VeriSMo A verified security module for confidential VMs, written in Rust and verified with Verus.
- KOOBE Capability-guided fuzzing and symbolic execution for exploiting Linux kernel out-of-bounds writes.
- SyzGen Automated syscall specification generation for closed-source macOS drivers.
- DumpApk An Xposed module that automatically unpacks protected Android APKs.
- dumpDex An IDAPython script that dynamically dumps DEX files from memory.
- AppTroy An online analysis system for packed Android malware.
06 / Contact
Let’s talk
I’m always happy to talk about kernel security, fuzzing, verification, or possible collaborations.
