Third-Eye: Practical and Context-Aware Inference of Causal Relationship Violations in Commodity Kernels. - Chuhong Yuan; Dong Du 003; Haibo Chen 001 (DIMVA, 2021)

Statically Discover Cross-Entry Use-After-Free Vulnerabilities in the Linux Kernel. - Hang Zhang 012; Jangha Kim; Chuhong Yuan; Zhiyun Qian; Taesoo Kim (NDSS, 2025)