Buchumschlag

Computational Attestations of Polynomial Integrity Towards Verifiable Machine-Learning

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ray, Dustin, Jazmi, Caroline El
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

TrustMee: Self-Verifying Remote Attestation Evidence
von: Sinaki, Parsa Sadri, et al.
Veröffentlicht: (2026)

Laminator: Verifiable ML Property Cards using Hardware-assisted Attestations
von: Duddu, Vasisht, et al.
Veröffentlicht: (2024)

TPM-Based Continuous Remote Attestation and Integrity Verification for 5G VNFs on Kubernetes
von: Emran, Al Nahian Bin, et al.
Veröffentlicht: (2025)

Securing Federated Learning with Control-Flow Attestation: A Novel Framework for Enhanced Integrity and Resilience against Adversarial Attacks
von: Alsulaimawi, Zahir
Veröffentlicht: (2024)

Towards Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices
von: Nunes, Ivan De Oliveira, et al.
Veröffentlicht: (2024)

Towards Remote Attestation of Microarchitectural Attacks: The Case of Rowhammer
von: Herrmann, Martin, et al.
Veröffentlicht: (2026)

PDRIMA: A Policy-Driven Runtime Integrity Measurement and Attestation Approach for ARM TrustZone-based TEE
von: Mao, Jingkai, et al.
Veröffentlicht: (2025)

Careful Whisper: Attestation for peer-to-peer Confidential Computing networks
von: Kocaoğullar, Ceren, et al.
Veröffentlicht: (2025)

Designing Trustworthy Layered Attestations
von: Thomas, Will, et al.
Veröffentlicht: (2026)

Approaches to Quantum Remote Memory Attestation
von: Laeuchli, Jesse, et al.
Veröffentlicht: (2025)

On the Verification of Control Flow Attestation Evidence
von: Caulfield, Adam, et al.
Veröffentlicht: (2024)

Authenticity in Authorship: The Writer's Integrity Framework for Verifying Human-Generated Text
von: Aburass, Sanad, et al.
Veröffentlicht: (2024)

On the Design and Security of Collective Remote Attestation Protocols
von: Ahmadi, Sharar, et al.
Veröffentlicht: (2024)

Evidence Tampering and Chain of Custody in Layered Attestations
von: Kretz, Ian D., et al.
Veröffentlicht: (2024)

RA-WEBs: Remote Attestation for WEB services
von: Akama, Kosei, et al.
Veröffentlicht: (2024)

Toward Copyright Integrity and Verifiability via Multi-Bit Watermarking for Intelligent Transportation Systems
von: Wang, Yihao, et al.
Veröffentlicht: (2025)

FAARM: Firmware Attestation and Authentication Framework for Mali GPUs
von: Hasan, Md. Mehedi
Veröffentlicht: (2025)

TOCTOU Resilient Attestation for IoT Networks (Full Version)
von: Frolikov, Pavel, et al.
Veröffentlicht: (2025)

ENOLA: Efficient Control-Flow Attestation for Embedded Systems
von: Armanuzzaman, Md, et al.
Veröffentlicht: (2025)

PAL*M: Property Attestation for Large Generative Models
von: Chantasantitam, Prach, et al.
Veröffentlicht: (2026)

Towards Quantum-Resistant Trusted Computing: Architectures for Post-Quantum Integrity Verification Techniques
von: D'Onghia, Grazia, et al.
Veröffentlicht: (2026)

HPCCFA: Leveraging Hardware Performance Counters for Control Flow Attestation
von: Pott, Claudius, et al.
Veröffentlicht: (2026)

Time-Delayed Publicly Verifiable Quantum Computation for Classical Verifiers
von: Mohammed, Ameer, et al.
Veröffentlicht: (2026)

Robust and Verifiable MPC with Applications to Linear Machine Learning Inference
von: Wang, Tzu-Shen, et al.
Veröffentlicht: (2025)

Formally-verified Security against Forgery of Remote Attestation using SSProve
von: Zain, Sara, et al.
Veröffentlicht: (2025)

Efficient Control Flow Attestation by Speculating on Control Flow Path Representations
von: Tyler, Liam, et al.
Veröffentlicht: (2025)

SRAS: Self-governed Remote Attestation Scheme for Multi-party Collaboration
von: Tian, Linan, et al.
Veröffentlicht: (2024)

A Survey of Interactive Verifiable Computing: Utilizing Low-degree Polynomials
von: Wang, Angold
Veröffentlicht: (2025)

Verifiable Privacy-Preserving Computing
von: Bontekoe, Tariq, et al.
Veröffentlicht: (2023)

Fingerprinting of Machines in Critical Systems for Integrity Monitoring and Verification
von: Paliwal, Prakhar, et al.
Veröffentlicht: (2024)

Defining Atomicity (and Integrity) for Snapshots of Storage in Forensic Computing
von: Ottmann, Jenny, et al.
Veröffentlicht: (2025)

SNPGuard: Remote Attestation of SEV-SNP VMs Using Open Source Tools
von: Wilke, Luca, et al.
Veröffentlicht: (2024)

Teamwork Makes TEE Work: Open and Resilient Remote Attestation on Decentralized Trust
von: Zhang, Xiaolin, et al.
Veröffentlicht: (2024)

MAGE: Mutual Attestation for a Group of Enclaves without Trusted Third Parties
von: Chen, Guoxing, et al.
Veröffentlicht: (2020)

State of the Art Report: Verified Computation
von: Woodcock, Jim, et al.
Veröffentlicht: (2023)

MADEA: A Malware Detection Architecture for IoT blending Network Monitoring and Device Attestation
von: Prapty, Renascence Tarafder, et al.
Veröffentlicht: (2025)

PACCOR4ESP: Embedded Device Security Attestation using Platform Attribute Certificates
von: Grübl, Thomas, et al.
Veröffentlicht: (2024)

Trusted Compute Units: A Framework for Chained Verifiable Computations
von: Castillo, Fernando, et al.
Veröffentlicht: (2025)

Enabling Trustworthy Federated Learning via Remote Attestation for Mitigating Byzantine Threats
von: Zhang, Chaoyu, et al.
Veröffentlicht: (2025)

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