6 citations · 6 across the 4 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2026
Efficient Linkage-Based Compartmentalization on CHERI
Dapeng Gao, John Baldwin, Jessica Clarke +10
We present an efficient linkage-based model for in-process compartmentalization built on CHERI memory safety, which enables fine-grained compartmentalization of the entire UNIX use…
cs.CR2022★ 6 cited
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…