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)

ASTERINAS: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB. - Yuke Peng; Hongliang Tian; Junyang Zhang; Ruihan Li; Chengjun Chen; Jianfeng Jiang; Jinyi Xian; Xiaolin Wang; Chenren Xu; Diyu Zhou; Yingwei Luo; Shoumeng Yan; et al. (USENIX ATC, 2025)