Prof. Ivan De Oliveira Nunes
From 11:00 until 12:30
At CAB H 52 (Seminar) + CNB/F/110 (Lunch) , ETH Zurich
CAB H 52 (Seminar) + CNB/F/110 (Lunch), ETH Zurich
Abstract:
Trusted computing mechanisms such as trusted execution environments, and derived services such as remote attestation, and proofs of execution are increasingly important for securing embedded systems. However, many of these mechanisms rely on atomic execution and interrupt suppression to preserve integrity guarantees, directly conflicting with the timing and availability requirements of real-time embedded systems and RTOS-based scheduling.
This talk examines the fundamental tension between security and real-time correctness in embedded platforms. Drawing from recent work on Real-Time Proofs of Execution (RT-PoX) and secure cross-world time reconciliation on ARM TrustZone-M systems, the talk will explore initial results on how trusted computing services can coexist with commodity RTOSs such as FreeRTOS and Zephyr without sacrificing either execution integrity or real-time real-time responsiveness.
This talk examines the fundamental tension between security and real-time correctness in embedded platforms. Drawing from recent work on Real-Time Proofs of Execution (RT-PoX) and secure cross-world time reconciliation on ARM TrustZone-M systems, the talk will explore initial results on how trusted computing services can coexist with commodity RTOSs such as FreeRTOS and Zephyr without sacrificing either execution integrity or real-time real-time responsiveness.