In Pursuit of Lean OS Kernels

01 Sep, 2025

Accepted at ACSAC 2025 🎉.

• Paper
• Artifacts

#kernel #research #security