KRover: A Symbolic Execution Engine for Dynamic Kernel Analysis. - Pansilu Pitigalaarachchi; Xuhua Ding; Haiqing Qiu; Haoxin Tu; Jiaqi Hong; Lingxiao Jiang (CCS, 2023)

DScope: To Reliably and Securely Acquire Live Data from Kernel-Compromised ARM Devices. - Zhe Chen; Haiqing Qiu; Xuhua Ding (ESORICS (4), 2023)