PoisonCap uses a new poison capability format to deliver strict use-after-free and initialization safety for CHERI systems with no fundamental overhead over Cornucopia baselines.
Parkinson, Alex Shamis, Christoph M
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
Data-access cost scales as N to the 1/4 in an abstract memory hierarchy for a class of applications.
citing papers explorer
-
PoisonCap: Efficient Hierarchical Temporal Safety for CHERI
PoisonCap uses a new poison capability format to deliver strict use-after-free and initialization safety for CHERI systems with no fundamental overhead over Cornucopia baselines.
-
The Fourth-Root Complexity of Data Movement
Data-access cost scales as N to the 1/4 in an abstract memory hierarchy for a class of applications.