ENOLA: Linear-Space and Low-Overhead Control-Flow Attestation for Microcontroller-based Systems
The episode discusses ENOLA, a system for control-flow attestation designed for resource-constrained microcontrollers. The hosts explain how ENOLA provides proof of correct program execution by creating a compact, linear-space trace, significantly improving upon previous methods to secure critical embedded systems.