ENOLA: Linear-Space and Low-Overhead Control-Flow Attestation for Microcontroller-based Systems

Md Armanuzzaman, Engin Kirda, Ziming Zhao

Control-Flow Attestation (CFA) aims to precisely verify execution paths to a remote verifier. However, existing solutions are fundamentally incompatible with resource-constrained,…