6 citations · 6 across the 3 of their papers we have counts for
3 papers
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…
CompartOS: CHERI Compartmentalization for Embedded Systems
Hesham Almatary, Michael Dodson, Jessica Clarke +6
Existing high-end embedded systems face frequent security attacks. Software compartmentalization is one technique to limit the attacks' effects to the compromised compartment and n…