Copertina

On the Verification of Control Flow Attestation Evidence

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Caulfield, Adam, Rattanavipanon, Norrathep, Nunes, Ivan De Oliveira
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

TRACES: TEE-based Runtime Auditing for Commodity Embedded Systems
di: Caulfield, Adam, et al.
Pubblicazione: (2024)

Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution
di: Rattanavipanon, Norrathep, et al.
Pubblicazione: (2024)

SpecCFA: Enhancing Control Flow Attestation/Auditing via Application-Aware Sub-Path Speculation
di: Caulfield, Adam, et al.
Pubblicazione: (2024)

Provable Execution in Real-Time Embedded Systems
di: Neto, Antonio Joia, et al.
Pubblicazione: (2025)

Towards Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices
di: Nunes, Ivan De Oliveira, et al.
Pubblicazione: (2024)

Resolving Conflicts Between RTOS Timekeeping and Uninterruptable Trusted Computing
di: Neto, Antonio Joia, et al.
Pubblicazione: (2026)

Boosting Device Utilization in Control Flow Auditing
di: Lengert, Alexandra, et al.
Pubblicazione: (2026)

$π$QLB: A Privacy-preserving with Integrity-assuring Query Language for Blockchain
di: Sohrabi, Nasrin, et al.
Pubblicazione: (2022)

A Toolchain for Assisting Migration of Software Executables Towards Post-Quantum Cryptography
di: Rattanavipanon, Norrathep, et al.
Pubblicazione: (2024)

SoK: Runtime Integrity
di: Ammar, Mahmoud, et al.
Pubblicazione: (2024)

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

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

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

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

Designing Trustworthy Layered Attestations
di: Thomas, Will, et al.
Pubblicazione: (2026)

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

Towards Browser Controls to Protect Cookies from Malicious Extensions
di: Tyler, Liam, et al.
Pubblicazione: (2024)

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

Control-Flow Attestation: Concepts, Solutions, and Open Challenges
di: Sha, Zhanyu, et al.
Pubblicazione: (2024)

A Simple Data Exfiltration Game
di: Caulfield, Tristan
Pubblicazione: (2025)

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

One for All and All for One: GNN-based Control-Flow Attestation for Embedded Devices
di: Chilese, Marco, et al.
Pubblicazione: (2024)

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

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

UCCA: A Verified Architecture for Compartmentalization of Untrusted Code Sections in Resource-Constrained Devices
di: Tyler, Liam, et al.
Pubblicazione: (2023)

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

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

LightFAt: Mitigating Control-flow Explosion via Lightweight PMU-based Control-flow Attestation
di: Gonzalez-Gomez, Jeferson, et al.
Pubblicazione: (2024)

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

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

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

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

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

Laminator: Verifiable ML Property Cards using Hardware-assisted Attestations
di: Duddu, Vasisht, et al.
Pubblicazione: (2024)

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

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

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

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

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