Detecting Kernel Memory Bugs through Inconsistent Memory Management Intention Inferences. - Dinghao Liu; Zhipeng Lu 001; Shouling Ji; Kangjie Lu; Jianhai Chen; Zhenguang Liu; Dexin Liu; Renyi Cai; Qinming He (USENIX Security Symposium, 2024)