ATC’25: ASTERINAS – A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB
Team and Paper Information Today, we introduce a work completed in collaboration with Southern University of Science and Technology, Ant Group, Peking University, and Zhongguancun Laboratory, titled “ASTERINAS: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB” which has been published in the CCF-A conference ATC 2025 (2025 USENIX Annual Technical Conference). … Read more