Work

FlexOS: towards flexible OS isolation

Year: 2022

Type: conference-paper

Abstract: At design time, modern operating systems are locked in a specific safety and isolation strategy that mixes one or more hardware/software protection mechanisms (e.g. user/kernel separation); revisiting these choices after deployment requires a major refactoring effort. This rigid approach shows its limits given the wide variety of modern applications' safety/performance requirements, when new hardware isolation mechanisms are rolled out, or when existing ones break.

DOI: 10.1145/3503222.3507759

Authors: Hugo Lefeuvre, Vlad-Andrei Bădoiu, Alexander Jung, Stefan Lucian Teodorescu, Sebastian Rauch, Felipe Huici, Costin Raiciu, Pierre Olivier

Institutions: University of Manchester, Universitatea Națională de Știință și Tehnologie Politehnica București, Lancaster University, Karlsruhe Institute of Technology, NEC (Germany)

Language: English

Topic: Security and Verification in Computing

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: UK Research and Innovation, VMware, Horizon 2020 Framework Programme, Engineering and Physical Sciences Research Council, H2020 European Research Council

Awards: UniFaaS: A Unikernel-Based Serverless Operating System, G1147893575, G2062432833, Provably Correct Networks, G495187929, G5045220161, G6568847533, G7339853131, SCorCH : Secure Code for Capability Hardware, G8842009309

OpenAlex ID: W4214680252

FWCI: 4.144

Cites: 48

Cited by: 37

Related to: 10