Image de couverture de livre

Efficient Control Flow Attestation by Speculating on Control Flow Path Representations

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Tyler, Liam, Caulfield, Adam, Nunes, Ivan De Oliveira
Format:	Preprint
Publié:	2025
Sujets:	Cryptography and Security
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

SpecCFA: Enhancing Control Flow Attestation/Auditing via Application-Aware Sub-Path Speculation
par: Caulfield, Adam, et autres
Publié: (2024)

On the Verification of Control Flow Attestation Evidence
par: Caulfield, Adam, et autres
Publié: (2024)

Boosting Device Utilization in Control Flow Auditing
par: Lengert, Alexandra, et autres
Publié: (2026)

Towards Browser Controls to Protect Cookies from Malicious Extensions
par: Tyler, Liam, et autres
Publié: (2024)

ENOLA: Efficient Control-Flow Attestation for Embedded Systems
par: Armanuzzaman, Md, et autres
Publié: (2025)

SoK: Runtime Integrity
par: Ammar, Mahmoud, et autres
Publié: (2024)

UCCA: A Verified Architecture for Compartmentalization of Untrusted Code Sections in Resource-Constrained Devices
par: Tyler, Liam, et autres
Publié: (2023)

HPCCFA: Leveraging Hardware Performance Counters for Control Flow Attestation
par: Pott, Claudius, et autres
Publié: (2026)

PAL*M: Property Attestation for Large Generative Models
par: Chantasantitam, Prach, et autres
Publié: (2026)

Control-Flow Attestation: Concepts, Solutions, and Open Challenges
par: Sha, Zhanyu, et autres
Publié: (2024)

TRACES: TEE-based Runtime Auditing for Commodity Embedded Systems
par: Caulfield, Adam, et autres
Publié: (2024)

One for All and All for One: GNN-based Control-Flow Attestation for Embedded Devices
par: Chilese, Marco, et autres
Publié: (2024)

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

Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking
par: Baumann, Jonathan, et autres
Publié: (2026)

Designing Trustworthy Layered Attestations
par: Thomas, Will, et autres
Publié: (2026)

LightFAt: Mitigating Control-flow Explosion via Lightweight PMU-based Control-flow Attestation
par: Gonzalez-Gomez, Jeferson, et autres
Publié: (2024)

A Simple Data Exfiltration Game
par: Caulfield, Tristan
Publié: (2025)

Resolving Availability and Run-time Integrity Conflicts in Real-Time Embedded Systems
par: Caulfield, Adam, et autres
Publié: (2025)

Approaches to Quantum Remote Memory Attestation
par: Laeuchli, Jesse, et autres
Publié: (2025)

Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution
par: Rattanavipanon, Norrathep, et autres
Publié: (2024)

Securing P4 Programs by Information Flow Control
par: Alshnakat, Anoud, et autres
Publié: (2025)

On the Design and Security of Collective Remote Attestation Protocols
par: Ahmadi, Sharar, et autres
Publié: (2024)

Evidence Tampering and Chain of Custody in Layered Attestations
par: Kretz, Ian D., et autres
Publié: (2024)

RA-WEBs: Remote Attestation for WEB services
par: Akama, Kosei, et autres
Publié: (2024)

FAARM: Firmware Attestation and Authentication Framework for Mali GPUs
par: Hasan, Md. Mehedi
Publié: (2025)

TOCTOU Resilient Attestation for IoT Networks (Full Version)
par: Frolikov, Pavel, et autres
Publié: (2025)

Towards Remote Attestation of Microarchitectural Attacks: The Case of Rowhammer
par: Herrmann, Martin, et autres
Publié: (2026)

TrustMee: Self-Verifying Remote Attestation Evidence
par: Sinaki, Parsa Sadri, et autres
Publié: (2026)

From Storage to Steering: Memory Control Flow Attacks on LLM Agents
par: Xu, Zhenlin, et autres
Publié: (2026)

Computational Attestations of Polynomial Integrity Towards Verifiable Machine-Learning
par: Ray, Dustin, et autres
Publié: (2025)

Careful Whisper: Attestation for peer-to-peer Confidential Computing networks
par: Kocaoğullar, Ceren, et autres
Publié: (2025)

AttestLLM: Efficient Attestation Framework for Billion-scale On-device LLMs
par: Zhang, Ruisi, et autres
Publié: (2025)

Formally-verified Security against Forgery of Remote Attestation using SSProve
par: Zain, Sara, et autres
Publié: (2025)

Laminator: Verifiable ML Property Cards using Hardware-assisted Attestations
par: Duddu, Vasisht, et autres
Publié: (2024)

SRAS: Self-governed Remote Attestation Scheme for Multi-party Collaboration
par: Tian, Linan, et autres
Publié: (2024)

Securing AI Agents with Information-Flow Control
par: Costa, Manuel, et autres
Publié: (2025)

Provable Execution in Real-Time Embedded Systems
par: Neto, Antonio Joia, et autres
Publié: (2025)

SNPGuard: Remote Attestation of SEV-SNP VMs Using Open Source Tools
par: Wilke, Luca, et autres
Publié: (2024)

Teamwork Makes TEE Work: Open and Resilient Remote Attestation on Decentralized Trust
par: Zhang, Xiaolin, et autres
Publié: (2024)

MAGE: Mutual Attestation for a Group of Enclaves without Trusted Third Parties
par: Chen, Guoxing, et autres
Publié: (2020)