Framekernel: A Safe and Efficient Kernel Architecture via Rust-based Intra-kernel Privilege Separation-Reference-Cited by-同舟云学术

Framekernel: A Safe and Efficient Kernel Architecture via Rust-based Intra-kernel Privilege Separation

Published:2024-09-04 Issue: Volume: Page:31-37
ISSN:
Container-title:Proceedings of the 15th ACM SIGOPS Asia-Pacific Workshop on Systems
language:
Short-container-title:

Author:

Peng Yuke¹^ORCID,Tian Hongliang²^ORCID,Xian Jinyi¹^ORCID,Zhou Shuai¹^ORCID,Yan Shoumeng²^ORCID,Zhang Yinqian¹^ORCID

Affiliation:

1. Southern University of Science and Technology, China

2. Ant Group, China

Funder

Leading Innovative and Entrepreneur Team Introduction Program of Zhejiang

National Key R&D Program of China

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3678015.3680492

Reference12 articles.

1. Andy-Python-Programmer. 2024. Aero OS. https://github.com/Andy-Python-Programmer/aero.

2. Asterinas. 2024. The code repository of Asterinas. https://github.com/asterinas/asterinas.

3. Kevin Boos, Namitha Liyanage, Ramla Ijaz, and Lin Zhong. 2020. Theseus: an Experiment in Operating System Structure and State Management. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). USENIX Association, 1--19. https://www.usenix.org/conference/osdi20/presentation/boos

4. Cody Cutler, M. Frans Kaashoek, and Robert T. Morris. 2018. The benefits and costs of writing a POSIX kernel in a high-level language. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). USENIX Association, Carlsbad, CA, 89--105. https://www.usenix.org/conference/osdi18/presentation/cutler

5. Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sjöberg, and David Costanzo. 2016. CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). USENIX Association, Savannah, GA, 653--669. https://www.usenix.org/conference/osdi16/technical-sessions/presentation/gu