A Tale of Two Kernels: Towards Ending Kernel Hardening Wars with Split Kernel. - Anil Kurmus; Robby Zippel (CCS, 2014)