ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation. (arXiv:2303.16282v1 [cs.CR])

Low-end embedded devices are increasingly used in various smart applications
and spaces. They are implemented under strict cost and energy budgets, using
microcontroller units (MCUs) that lack security features available in
general-purpose processors. In this context, Remote Attestation (RA) was
proposed as an inexpensive security service to enable a verifier (Vrf) to
remotely detect illegal modifications to a software binary installed on a
low-end prover MCU (Prv). Since attacks that hijack the software's control flow
can evade RA, Control Flow …

applications attacks attestation auditing binary budgets context control cost detect device devices embedded enable end energy features flow general hijack low processors runtime security security features service smart software under