Abstract:
The memory-safe Capability Hardware Enhanced RISC Instructions (CHERI) C and C++ languages build on architectural capabilities in the CHERI protection model. With the dev...Show MoreMetadata
Abstract:
The memory-safe Capability Hardware Enhanced RISC Instructions (CHERI) C and C++ languages build on architectural capabilities in the CHERI protection model. With the development of two industrial CHERI-enabled processors, Arm’s Morello and Microsoft’s CHERIoT, CHERI may offer the fastest path to widely deployed memory safety.
Published in: IEEE Security & Privacy ( Volume: 22, Issue: 4, July-Aug. 2024)
Funding Agency:
Keywords assist with retrieval of results and provide a means to discovering other relevant content. Learn more.
- IEEE Keywords
- Index Terms
- Protective Memory ,
- Prototype ,
- Open-source ,
- Programming Language ,
- Internet Of Things ,
- Microarchitecture ,
- Web Browser ,
- Architectural Features ,
- Modest Changes ,
- Security Vulnerabilities ,
- Application Server ,
- ETH Zurich ,
- Instruction Set Architecture ,
- Current Software ,
- System-on-chip ,
- Key Hypothesis ,
- Windows Systems ,
- Software Stack ,
- Static Random Access Memory ,
- Use Of Capabilities ,
- Memory Allocation ,
- Type Of Integration ,
- Adversary Model ,
- Design Choices ,
- Random Access Memory ,
- Cyclone ,
- Evidential
Keywords assist with retrieval of results and provide a means to discovering other relevant content. Learn more.
- IEEE Keywords
- Index Terms
- Protective Memory ,
- Prototype ,
- Open-source ,
- Programming Language ,
- Internet Of Things ,
- Microarchitecture ,
- Web Browser ,
- Architectural Features ,
- Modest Changes ,
- Security Vulnerabilities ,
- Application Server ,
- ETH Zurich ,
- Instruction Set Architecture ,
- Current Software ,
- System-on-chip ,
- Key Hypothesis ,
- Windows Systems ,
- Software Stack ,
- Static Random Access Memory ,
- Use Of Capabilities ,
- Memory Allocation ,
- Type Of Integration ,
- Adversary Model ,
- Design Choices ,
- Random Access Memory ,
- Cyclone ,
- Evidential