Peng, Y., Tian, H., Junyang, Z., Li, R., Chen, C., Jiang, J., . . . Zhang, Y. (2025). Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB.
Chicago Style (17th ed.) CitationPeng, Yuke, et al. Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB. 2025.
MLA (9th ed.) CitationPeng, Yuke, et al. Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB. 2025.
Warning: These citations may not always be 100% accurate.