はてなブックマーク

A secure, fast, and general-purpose OS kernel written in Rust and compatible with Linux Asterinas_NixOS_0.17.0_in_Action.mp4 News: 2025-12-08: FAST 2026 accepted a paper on a novel secure storage solution having been integrated into Asterinas: MlsDisk: Trusted Block Storage for TEEs Based on Layered Secure Logging. 2025-10-17: ICSE 2026 accepted yet another paper about Asterinas: RusyFuzz: Unhandl