Operating Systems Kernel Engineering

Research Frontiers in Kernel Support for Temporal Safety and Lifetime Management

Development of kernel mechanisms to enforce temporal memory safety and prevent use-after-free vulnerabilities in system software.

All Operating Systems & Kernel Engineering PhD categories