144 citations · 144 across the 4 of their papers we have counts for
Showing cs.OSShow all
2 papers · 1 filter
cs.OS2025
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB
Yuke Peng, Hongliang Tian, Zhang Junyang +10
How can one build a feature-rich, general-purpose, Rust-based operating system (OS) with a minimal and sound Trusted Computing Base (TCB) for memory safety? Existing Rust-based OSe…
cs.OS2020★ 144 cited
Occlum: Secure and Efficient Multitasking Inside a Single Enclave of Intel SGX
Youren Shen, Hongliang Tian, Yu Chen +4
Intel Software Guard Extensions (SGX) enables user-level code to create private memory regions called enclaves, whose code and data are protected by the CPU from software and hardw…