CHERIoT: Complete Memory Safety for Embedded Devices
S Amar, David Chisnall, Tony Chen, Nathaniel Wesley Filardo, Ben Laurie, Kunyan Liu, Robert M. Norton, Simon W. Moore, Yucong Tao, Robert N. M. Watson, Hongyan Xia
Abstract
The ubiquity of embedded devices is apparent. The desire for increased functionality and connectivity drives ever larger software stacks, with components from multiple vendors and entities. These stacks should be replete with isolation and memory safety technologies, but existing solutions impinge upon development, unit cost, power, scalability, and/or real-time constraints, limiting their adoption and production-grade deployments. As memory safety vulnerabilities mount, the situation is clearly not tenable and a new approach is needed.
Topics & Concepts
ScalabilityComputer scienceLimitingMemory safetyEmbedded systemMemory protectionSoftwareMemory managementIsolation (microbiology)Operating systemReliability engineeringOverlayFlat memory modelEngineeringBiologyMechanical engineeringMicrobiologySecurity and Verification in ComputingRadiation Effects in ElectronicsParallel Computing and Optimization Techniques