Sok: Runtime integrity

M Ammar, A Caulfield, IDO Nunes - arXiv preprint arXiv:2408.10200, 2024 - arxiv.org
This paper provides a systematic exploration of Control Flow Integrity (CFI) and Control Flow
Attestation (CFA) mechanisms, examining their differences and relationships. It addresses …

SoK: Integrity, Attestation, and Auditing of Program Execution

M Ammar, A Caulfield, IDO Nunes - 2025 IEEE Symposium on …, 2024 - computer.org
This paper provides a systematic exploration of Control Flow Integrity (CFI) and Control Flow
Attestation (CFA) mechanisms, examining their differences and relationships. It addresses …

Control-flow attestation: Concepts, solutions, and open challenges

Z Sha, C Shepherd, A Rafi, K Markantonakis - Computers & Security, 2024 - Elsevier
Control-flow attestation unifies the worlds of control-flow integrity and platform attestation by
measuring and reporting a target's run-time behaviour to a verifier. Trust assurances in the …

Swarm-Net: Firmware Attestation in IoT Swarms using Graph Neural Networks and Volatile Memory

V Kohli, B Kohli, MN Aman… - IEEE Internet of Things …, 2024 - ieeexplore.ieee.org
Despite large-scale deployment, studies have highlighted critical security concerns in IoT
networks, many of which stem from firmware-related issues. Furthermore, IoT swarms have …

On the Verification of Control Flow Attestation Evidence

A Caulfield, N Rattanavipanon, IDO Nunes - arXiv preprint arXiv …, 2024 - arxiv.org
Remote run-time attestation methods, including Control Flow Attestation (CFA) and Data
Flow Attestation (DFA), have been proposed to generate precise evidence of execution's …