Hardening the Core: Understanding and Detection of XNU Kernel Vulnerabilities. - Xianyu Liu; Min Zheng; Aimin Pan; Quan Lu (DSN Workshops, 2018)