When Top-down Meets Bottom-up: Detecting and Exploiting Use-After-Cleanup Bugs in Linux Kernel. - Lin Ma 009; Duoming Zhou; Hanjie Wu; Yajin Zhou; Rui Chang; Hao Xiong; Lei Wu 012; Kui Ren 001 (SP, 2023)