1. CheriRTOS: A Capability Model for Embedded Devices
2. Capability Hardware Enhanced RISC Instructions: CHERI Instruction-Set Architecture (Version 8);watson;Tech Rep UCAM-CL-TR-951,2020
3. What’s the smallest variety of CHERI?,0
4. CompartOS: CHERI compartmentalization for embedded systems;almatary,2022
5. Capstone: A capability-based foundation for trustless secure memory access (extended version);yu,2023