Cornucopia: Temporal Safety for CHERI Heaps

Investigates capability revocation and temporal safety for heap allocations in CHERI systems.

Image preview