3 papers
cs.AR2026
CHERI-D: Secure and efficient inline object ID for CHERI temporal memory safety
Yuecheng Wang, Jonathan Woodruff, Alfredo Mazzinghi +5
We propose CHERI-D, an architectural extension to CHERI that supports efficient temporal memory safety. Efficient memory safety is an increasing priority for programming languages,…
cs.CR2026
PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities
Merve Gülmez, Ruben Sturm, Hossam ElAtali +4
While the CHERI instruction-set architecture extensions for capabilities enable strong spatial memory safety, CHERI lacks built-in temporal safety, particularly for heap allocation…
cs.AR2026
PoisonCap: Efficient Hierarchical Temporal Safety for CHERI
Yuecheng Wang, Jonathan Woodruff, Alfredo Mazzinghi +5
In this paper, we present PoisonCap: scalable temporal safety with strict use-after-free protection and initialisation safety for CHERI systems. Efficient memory safety is an incre…