Showing cs.ARShow all
3 papers · 1 filter
cs.AR2026
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…
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.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…