3 papers
cs.CR2026
TrustMee: Self-Verifying Remote Attestation Evidence
Parsa Sadri Sinaki, Zainab Ahmad, Wentao Xie +4
Remote attestation allows a TEE to attest its own state to a remote party, and is used in the Confidential Computing ecosystem to provide assurance that data and code are available…
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
Laminator: Verifiable ML Property Cards using Hardware-assisted Attestations
Vasisht Duddu, Oskari Järvinen, Lachlan J Gunn +1
Regulations increasingly call for various assurances from machine learning (ML) model providers about their training data, training process, and model behavior. For better transpar…