📋 CHERI + Safety WG

Explores how CHERI mechanisms, implementation evidence, and system integration relate to functional safety and assurance needs.

The Safety Working Group focuses on implementing safety standards for CHERI hardware to leverage its memory safety and fine-grained protection capabilities, thereby enhancing the security and safety of safety-critical systems.

Where next

CHERI for seL4

Explore CHERI protection and capability-oriented design in the seL4 ecosystem.

Continue