Enhancing Kernel Memory Safety with Hardware Protection Keys

Created using ChatSlide

This research addresses memory safety in OS kernels by leveraging hardware protection keys to enhance security without rewriting the kernel. The methodology includes partitioning the kernel into domains and dynamic key switching, evaluated across architectures using metrics like BEPR@5%. Results show improved security with low performance impact. Future directions involve prototyping, formal verification, and integration with existing defenses, marking significant advancements in kernel...