SeaK: Rethinking the Design of a Secure Allocator for OS Kernel. - Zicheng Wang; Yicheng Guang; Yueqi Chen 001; Zhenpeng Lin; Michael V. Le; Dang K. Le; Dan Williams 001; Xinyu Xing 001; Zhongshu Gu; Hani Jamjoom (USENIX Security Symposium, 2024)