ASAP: Reconciling Asynchronous Real-Time Operations and Proofs of Execution in Simple Embedded Systems. (arXiv:2206.02894v1 [cs.CR])

Embedded devices are increasingly ubiquitous and their importance is hard to
overestimate. While they often support safety-critical functions (e.g., in
medical devices and sensor-alarm combinations), they are usually implemented
under strict cost/energy budgets, using low-end microcontroller units (MCUs)
that lack sophisticated security mechanisms. Motivated by this issue, recent
work developed architectures capable of generating Proofs of Execution (PoX)
for the correct/expected software in potentially compromised low-end MCUs. In
practice, this capability can be leveraged to provide "integrity from birth" to …

embedded embedded systems operations simple systems