3 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
PAL*M: Property Attestation for Large Generative Models
Prach Chantasantitam, Adam Ilyas Caulfield, Vasisht Duddu +2
Machine learning property attestations allow provers (e.g., model providers or owners) to attest properties of their models/datasets to verifiers (e.g., regulators, customers), ena…
cs.CR2025
Resolving Availability and Run-time Integrity Conflicts in Real-Time Embedded Systems
Adam Caulfield, Muhammad Wasif Kamran, N. Asokan
Run-time integrity enforcement in real-time systems presents a fundamental conflict with availability. Existing approaches in real-time systems primarily focus on minimizing the ex…