FlexOS: towards flexible OS isolation-Reference-Cited by-同舟云学术

FlexOS: towards flexible OS isolation

Published:2022-02-22 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems
language:
Short-container-title:

Author:

Lefeuvre Hugo¹^ORCID,Bădoiu Vlad-Andrei²,Jung Alexander³^ORCID,Teodorescu Stefan Lucian²,Rauch Sebastian⁴,Huici Felipe⁵,Raiciu Costin⁶,Olivier Pierre¹

Affiliation:

1. University of Manchester, UK

2. University Politehnica of Bucharest, Romania

3. Lancaster University, UK / unikraft.io, Germany

4. KIT, Germany

5. NEC Laboratories, Germany / unikraft.io, Germany

6. University Politehnica of Bucharest, Romania / Correct Networks, Romania

Funder

UK Research and Innovation

EU H2020

Publisher

ACM

Link

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

Reference83 articles.

1. Control-flow integrity principles, implementations, and applications

2. J. Alves-Foss P. Oman C. Taylor and S. Harrison. 2006. The MILS architecture for high-assurance embedded systems. Int. J. Embed. Syst. 2 (2006). J. Alves-Foss P. Oman C. Taylor and S. Harrison. 2006. The MILS architecture for high-assurance embedded systems. Int. J. Embed. Syst. 2 (2006).

3. ARM Ltd . 2009. Building a Secure System using TrustZone Technology. https://developer.arm.com/documentation/genc009492/c. Online ; accessed Jan 24, 2021 . ARM Ltd. 2009. Building a Secure System using TrustZone Technology. https://developer.arm.com/documentation/genc009492/c. Online; accessed Jan 24, 2021.

4. ARM Ltd . 2019. ARM Morello Program. https://developer.arm.com/architectures/cpu-architecture/a-profile/morello. Online ; accessed June 25, 2020 . ARM Ltd. 2019. ARM Morello Program. https://developer.arm.com/architectures/cpu-architecture/a-profile/morello. Online; accessed June 25, 2020.

5. Steve Bannister . 2019. Memory Tagging Extension: Enhancing memory safety through architecture. https://community.arm.com/developer/ip-products/processors/b/processors-ip-blog/posts/enhancing-memory-safety. Online ; accessed October 27, 2020 . Steve Bannister. 2019. Memory Tagging Extension: Enhancing memory safety through architecture. https://community.arm.com/developer/ip-products/processors/b/processors-ip-blog/posts/enhancing-memory-safety. Online; accessed October 27, 2020.

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. DOPE: DOmain Protection Enforcement with PKS;Annual Computer Security Applications Conference;2023-12-04

2. CIVSCOPE: Analyzing Potential Memory Corruption Bugs in Compartment Interfaces;Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification;2023-10-23

3. Software Compartmentalization Trade-Offs with Hardware Capabilities;Proceedings of the 12th Workshop on Programming Languages and Operating Systems;2023-10-23

4. Endoprocess: Programmable and Extensible Subprocess Isolation;New Security Paradigms Workshop;2023-09-18

5. xOS;Proceedings of the 14th ACM SIGOPS Asia-Pacific Workshop on Systems;2023-08-24