Program-mandering: Quantitative Privilege Separation. - Shen Liu 002; Dongrui Zeng; Yongzhe Huang; Frank Capobianco; Stephen McCamant; Trent Jaeger; Gang Tan (CCS, 2019)

Lightweight kernel isolation with virtualization and VM functions. - Vikram Narayanan; Yongzhe Huang; Gang Tan; Trent Jaeger; Anton Burtsev (VEE, 2020)

Sdft: A PDG-based Summarization for Efficient Dynamic Data Flow Tracking. - Xiao Kan; Cong Sun 001; Shen Liu 002; Yongzhe Huang; Gang Tan; Siqi Ma; Yumei Zhang (QRS, 2021)

The Taming of the Stack: Isolating Stack Data from Memory Errors. - Kaiming Huang; Yongzhe Huang; Mathias Payer; Zhiyun Qian; Jack Sampson; Gang Tan; Trent Jaeger (NDSS, 2022)

KSplit: Automating Device Driver Isolation. - Yongzhe Huang; Vikram Narayanan; David Detweiler; Kaiming Huang; Gang Tan; Trent Jaeger; Anton Burtsev (OSDI, 2022)

Evolving Operating System Kernels Towards Secure Kernel-Driver Interfaces. - Anton Burtsev; Vikram Narayanan; Yongzhe Huang; Kaiming Huang; Gang Tan; Trent Jaeger (HotOS, 2023)

ABSLearn: a GNN-based framework for aliasing and buffer-size information retrieval. - Ke Liang 006; Jim Tan; Dongrui Zeng; Yongzhe Huang; Xiaolei Huang; Gang Tan (Pattern Anal. Appl., 2023)

SoK: Understanding the Attack Surface in Device Driver Isolation Frameworks. - Yongzhe Huang; Kaiming Huang; Matthew Ennis; Vikram Narayanan; Anton Burtsev; Trent Jaeger; Gang Tan (CoRR, 2024)

Sliver: A Scalable Slicing-Based Verification for Information Flow Security. - Xue Rao; Cong Sun 001; Dongrui Zeng; Yongzhe Huang; Gang Tan (IEEE Trans. Dependable Secur. Comput., 2025)