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
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
Publication Date
June 1, 2021
Start / End Page
183 / 190