2 papers
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.CR2026
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…