D. Chisnall

How CHERIoT Provides Strong and Usable Isolation Without an MMU

Co-design of hardware and software offers stronger security and ease of use The CHERIoT platform is a RISC-V-based ISA, an RTOS, and a programmer model that were co-designed for security. The ISA provides hardware mechanisms for enforcing spatial and (heap) temporal memory safety, type safety for opaque types, and ligh...