Evolving Operating System Kernels Towards Secure Kernel-Driver Interfaces

Anton Burtsev, Vikram Narayanan, Yongzhe Huang, Kaiming Huang, Gang Tan, Trent Jaeger

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Our work explores the challenge of developing secure kernel-driver interfaces designed to protect the kernel from isolated kernel extensions. We first analyze a range of possible attack vectors that exist in current isolation frameworks. Then, we suggest a new approach to building secure isolation boundaries centered around ideas that originate in safe operating systems: isolation of heaps and single ownership.

Original languageEnglish (US)
Title of host publicationHotOS 2023 - Proceedings of the 19th Workshop on Hot Topics in Operating Systems
PublisherAssociation for Computing Machinery, Inc
Pages166-173
Number of pages8
ISBN (Electronic)9798400701955
DOIs
StatePublished - Jun 22 2023
Event19th Workshop on Hot Topics in Operating Systems, HotOS 2023 - Providence, United States
Duration: Jun 22 2023Jun 24 2023

Publication series

NameHotOS 2023 - Proceedings of the 19th Workshop on Hot Topics in Operating Systems

Conference

Conference19th Workshop on Hot Topics in Operating Systems, HotOS 2023
Country/TerritoryUnited States
CityProvidence
Period6/22/236/24/23

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Hardware and Architecture
  • Information Systems

Cite this