Cover Image

Laminator: Verifiable ML Property Cards using Hardware-assisted Attestations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Duddu, Vasisht, Järvinen, Oskari, Gunn, Lachlan J, Asokan, N
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

PAL*M: Property Attestation for Large Generative Models
by: Chantasantitam, Prach, et al.
Published: (2026)

Data-Oblivious ML Accelerators using Hardware Security Extensions
by: ElAtali, Hossam, et al.
Published: (2024)

Combining Machine Learning Defenses without Conflicts
by: Duddu, Vasisht, et al.
Published: (2024)

Locket: Robust Feature-Locking Technique for Language Models
by: He, Lipeng, et al.
Published: (2025)

SoK: Unintended Interactions among Machine Learning Defenses and Risks
by: Duddu, Vasisht, et al.
Published: (2023)

TrustMee: Self-Verifying Remote Attestation Evidence
by: Sinaki, Parsa Sadri, et al.
Published: (2026)

Espresso: Robust Concept Filtering in Text-to-Image Models
by: Das, Anudeep, et al.
Published: (2024)

Attesting Distributional Properties of Training Data for Machine Learning
by: Duddu, Vasisht, et al.
Published: (2023)

PATCH: Mitigating PII Leakage in Language Models with Privacy-Aware Targeted Circuit PatcHing
by: Hughes, Anthony, et al.
Published: (2025)

Amulet: a Python Library for Assessing Interactions Among ML Defenses and Risks
by: Waheed, Asim, et al.
Published: (2025)

On the Alignment of Group Fairness with Attribute Privacy
by: Aalmoes, Jan, et al.
Published: (2022)

Privacy Bias in Language Models: A Contextual Integrity-based Auditing Metric
by: Shvartzshnaider, Yan, et al.
Published: (2024)

Computational Attestations of Polynomial Integrity Towards Verifiable Machine-Learning
by: Ray, Dustin, et al.
Published: (2025)

HPCCFA: Leveraging Hardware Performance Counters for Control Flow Attestation
by: Pott, Claudius, et al.
Published: (2026)

Designing Trustworthy Layered Attestations
by: Thomas, Will, et al.
Published: (2026)

On the Verification of Control Flow Attestation Evidence
by: Caulfield, Adam, et al.
Published: (2024)

Approaches to Quantum Remote Memory Attestation
by: Laeuchli, Jesse, et al.
Published: (2025)

Formally-verified Security against Forgery of Remote Attestation using SSProve
by: Zain, Sara, et al.
Published: (2025)

On the Design and Security of Collective Remote Attestation Protocols
by: Ahmadi, Sharar, et al.
Published: (2024)

Evidence Tampering and Chain of Custody in Layered Attestations
by: Kretz, Ian D., et al.
Published: (2024)

RA-WEBs: Remote Attestation for WEB services
by: Akama, Kosei, et al.
Published: (2024)

Hardware-Enabled Mechanisms for Verifying Responsible AI Development
by: O'Gara, Aidan, et al.
Published: (2025)

S2malloc: Statistically Secure Allocator for Use-After-Free Protection And More
by: Wang, Ruizhe, et al.
Published: (2024)

SeMalloc: Semantics-Informed Memory Allocator
by: Wang, Ruizhe, et al.
Published: (2024)

PACCOR4ESP: Embedded Device Security Attestation using Platform Attribute Certificates
by: Grübl, Thomas, et al.
Published: (2024)

Careful Whisper: Attestation for peer-to-peer Confidential Computing networks
by: Kocaoğullar, Ceren, et al.
Published: (2025)

Towards Remote Attestation of Microarchitectural Attacks: The Case of Rowhammer
by: Herrmann, Martin, et al.
Published: (2026)

FAARM: Firmware Attestation and Authentication Framework for Mali GPUs
by: Hasan, Md. Mehedi
Published: (2025)

TOCTOU Resilient Attestation for IoT Networks (Full Version)
by: Frolikov, Pavel, et al.
Published: (2025)

ENOLA: Efficient Control-Flow Attestation for Embedded Systems
by: Armanuzzaman, Md, et al.
Published: (2025)

Swarm-Net: Firmware Attestation in IoT Swarms using Graph Neural Networks and Volatile Memory
by: Kohli, Varun, et al.
Published: (2024)

Resolving Availability and Run-time Integrity Conflicts in Real-Time Embedded Systems
by: Caulfield, Adam, et al.
Published: (2025)

SRAS: Self-governed Remote Attestation Scheme for Multi-party Collaboration
by: Tian, Linan, et al.
Published: (2024)

Efficient Control Flow Attestation by Speculating on Control Flow Path Representations
by: Tyler, Liam, et al.
Published: (2025)

Teaching an Old Dog New Tricks: Verifiable FHE Using Commodity Hardware
by: Drean, Jules, et al.
Published: (2024)

Phish-Blitz: Advancing Phishing Detection with Comprehensive Webpage Resource Collection and Visual Integrity Preservation
by: Hriday, Duddu, et al.
Published: (2025)

CacheSquash: Making caches speculation-aware
by: ElAtali, Hossam, et al.
Published: (2024)

SNPGuard: Remote Attestation of SEV-SNP VMs Using Open Source Tools
by: Wilke, Luca, et al.
Published: (2024)

Teamwork Makes TEE Work: Open and Resilient Remote Attestation on Decentralized Trust
by: Zhang, Xiaolin, et al.
Published: (2024)

MAGE: Mutual Attestation for a Group of Enclaves without Trusted Third Parties
by: Chen, Guoxing, et al.
Published: (2020)