Adopting Memory-Safety and Fine-Grained Compartmentalisation with CHERI
Summary
InfoQ's presentation on Adopting Memory-Safety and Fine-Grained Compartmentalisation with CHERI explains how CHERI uses hardware capabilities to enforce spatial and temporal memory safety and fine-grained compartmentalization. It covers sealing/unsealing, tagged pointers, memory safety without rewriting C/C++, and auditable cross-compartment communication for secure, auditable systems.