4 papers
CHERI-D Reincarnate: efficient multicore CHERI temporal memory safety through allocation reincarnation (draft version)
Yuecheng Wang, Jonathan Woodruff, Simon W. Moore
We propose CHERI-D Reincarnate (Reinc), an architectural extension to CHERI for scalable and efficient temporal memory safety. Prior work CHERI-D has a finite-width generation ID s…
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,…
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…
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…