Reconciling Asynchronous Real-Time Operations and Proofs of Execution in Simple Embedded Systems
TimeWednesday, July 13th4:30pm - 4:50pm PDT
Location3005, Level 3
Event Type
Research Manuscript
Hardware Security: Primitives, Architecture, Design & Test
DescriptionWhile embedded devices support safety-critical systems (e.g., medical devices and sensor-alarm combinations), they are often implemented under strict cost/energy budgets, using low-end micro-controller units (MCUs) that lack sophisticated security mechanisms. Therefore, recent work developed architectures for Proofs of Execution (PoX) of the correct/expected software in potentially compromised low-end MCUs. In practice, this capability can be leveraged to provide "integrity from birth'' of sensor data. However, current PoX schemes ignore the real-time needs of (many) applications. In particular, they preclude any interrupts during execution, which can obscure PoX usefulness. To bridge this gap, we propose APoX: a low-cost architecture for Asynchronous-Proofs-of-Execution.