Xiaolong Bai, Luyi Xing, Min Zheng, Fuping Qu. iDEA: Static Analysis on the Security of Apple Kernel Drivers. In Jay Ligatti, Xinming Ou, Jonathan Katz, Giovanni Vigna, editors, CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, USA, November 9-13, 2020. pages 1185-1202, ACM, 2020. [doi]