Framekernel: A Safe and Efficient Kernel Architecture via Rust-based Intra-kernel Privilege Separation. - Yuke Peng; Hongliang Tian; Jinyi Xian; Shuai Zhou; Shoumeng Yan; Yinqian Zhang (APSys, 2024)