2 papers
cs.CR2026
PRISM: Lightweight Enclave Isolation with Prismatic Capabilities
Merve Gülmez, Adam Caulfield, Hakan Englund +2
Trusted execution environments (TEEs) protect sensitive code and data from external interference, but lack inherent memory safety. CHERI can enforce spatial memory safety at the ob…
cs.CR2026
FRESCO: Complete and Scalable Temporal Safety for CHERI Application Processors
Merve Gülmez, Nils Jordan, Jialun Zhang +4
CHERI provides hardware-enforced spatial memory safety. While prior work extends it with heap temporal safety, stack use-after-return remains unaddressed. Existing defenses fall sh…