Preventing Kernel Hacks with HAKCs
Derrick McKee, Yianni Giannaris, Carolina Ortega, Howard Shrobe, Mathias Payer, Hamed Okhravi, Nathan Burow
Abstract
Commodity operating system kernels remain monolithic for practical and historical reasons. All kernel code shares a single address space, executes with elevated processor privileges, and has largely unhindered access to all data, including data irrelevant to the completion of a specific task. Applying the principle of least privilege, which limits available resources only to those needed to perform a particular task, to compartmentalize the kernel would realize major security gains, similar to microkernels yet without the major redesign effort.
Topics & Concepts
Computer scienceKernel (algebra)MathematicsDiscrete mathematicsSecurity and Verification in ComputingAdvanced Data Storage TechnologiesParallel Computing and Optimization Techniques