Hardening the Core: Understanding and Detection of XNU Kernel Vulnerabilities | IEEE Conference Publication | IEEE Xplore