absorb.md

Hardware Security

Justine Moore1
No compiled wiki article for this topic yet. Raw entries below are the source material — a wiki article can be generated on demand from /admin/triggers.

PoisonCap: Zero-Overhead Strict Temporal Safety for CHERI via a New Poison Capability Format

PoisonCap introduces a new "poison" capability format for CHERI architectures that upgrades temporal memory safety from use-after-reallocation to strict use-after-free protection, while also adding initialisation safety — two gaps left by the current state-of-the-art, Cornucopia Reloaded. The design