Work

CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded Devices

Year: 2025

Type: conference-paper

Abstract: Embedded systems do not benefit from strong memory protection, because they are designed to minimize cost. At the same time, there is increasing pressure to connect embedded devices to the internet, where their vulnerable nature makes them routinely subject to compromise. This fundamental tension leads to the current status-quo where exploitable devices put individuals and critical infrastructure at risk.

Source: ACM SIGOPS Symposium on Operating Systems Principles (SOSP)

DOI: 10.1145/3731569.3764844

Authors: Saar Amar, Tony Chen, David Chisnall, Nathaniel Wesley Filardo, Ben Laurie, Hugo Lefeuvre, Kunyan Liu, Simon W. Moore, Robert Norton-Wright, Margo Seltzer, Yucong Tao, Robert N. M. Watson, Hongyan Xia

Institutions: Apple (United States), Microsoft (United States), Google (United Kingdom), University of British Columbia, University of Cambridge, ARM (United Kingdom)

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Funders: Google, UK Research and Innovation, Defense Advanced Research Projects Agency, Natural Sciences and Engineering Research Council of Canada, Engineering and Physical Sciences Research Council, Innovate UK, Air Force Research Laboratory

Awards: G2310473504, CHERI for Hypervisors and Operating Systems (CHaOS), G4055178474, G6568760931, G7197795377, Digital Security by Design (DSbD) Technology Platform Prototype

OpenAlex ID: W4414736153

FWCI: 6.92

Cites: 51

Cited by: 15

Related to: 10