Skip to main content

An incremental path towards a safer OS kernel

Publication ,  Conference
Li, J; Miller, S; Zhuo, D; Chen, A; Howell, J; Anderson, T
Published in: HotOS 2021 - Proceedings of the 2021 Workshop on Hot Topics in Operating Systems
June 1, 2021

Linux has become the de-facto operating system of our age, but its vulnerabilities are a constant threat to service availability, user privacy, and data integrity. While one might scrap Linux and start over, the cost of that would be prohibitive due to Linux's ubiquitous deployment. In this paper, we propose an alternative, incremental route to a safer Linux through proper modularization and gradual replacement module by module. We lay out the research challenges and potential solutions for this route, and discuss the open questions ahead.

Duke Scholars

Altmetric Attention Stats
Dimensions Citation Stats

Published In

HotOS 2021 - Proceedings of the 2021 Workshop on Hot Topics in Operating Systems

DOI

ISBN

9781450384384

Publication Date

June 1, 2021

Start / End Page

183 / 190
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Li, J., Miller, S., Zhuo, D., Chen, A., Howell, J., & Anderson, T. (2021). An incremental path towards a safer OS kernel. In HotOS 2021 - Proceedings of the 2021 Workshop on Hot Topics in Operating Systems (pp. 183–190). https://doi.org/10.1145/3458336.3465277
Li, J., S. Miller, D. Zhuo, A. Chen, J. Howell, and T. Anderson. “An incremental path towards a safer OS kernel.” In HotOS 2021 - Proceedings of the 2021 Workshop on Hot Topics in Operating Systems, 183–90, 2021. https://doi.org/10.1145/3458336.3465277.
Li J, Miller S, Zhuo D, Chen A, Howell J, Anderson T. An incremental path towards a safer OS kernel. In: HotOS 2021 - Proceedings of the 2021 Workshop on Hot Topics in Operating Systems. 2021. p. 183–90.
Li, J., et al. “An incremental path towards a safer OS kernel.” HotOS 2021 - Proceedings of the 2021 Workshop on Hot Topics in Operating Systems, 2021, pp. 183–90. Scopus, doi:10.1145/3458336.3465277.
Li J, Miller S, Zhuo D, Chen A, Howell J, Anderson T. An incremental path towards a safer OS kernel. HotOS 2021 - Proceedings of the 2021 Workshop on Hot Topics in Operating Systems. 2021. p. 183–190.

Published In

HotOS 2021 - Proceedings of the 2021 Workshop on Hot Topics in Operating Systems

DOI

ISBN

9781450384384

Publication Date

June 1, 2021

Start / End Page

183 / 190