Colored capabilities — provenance IDs in CHERI capabilities checked against a hardware validity table — deterministically block heap use-after-free and double-free without quarantining freed memory, at ~5% average SPEC overhead.
Title resolution pending
1 Pith paper cite this work, alongside 1 external citations. Polarity classification is still indexing.
1
Pith paper citing it
1
external citations · OpenAlex
fields
cs.CR 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities
Colored capabilities — provenance IDs in CHERI capabilities checked against a hardware validity table — deterministically block heap use-after-free and double-free without quarantining freed memory, at ~5% average SPEC overhead.