3 papers
cs.CR2026
Resolving Conflicts Between RTOS Timekeeping and Uninterruptable Trusted Computing
Antonio Joia Neto, Amarin Laohajirapan, Norrathep Rattanavipanon +1
Trusted Execution Environments (TEEs) on low-power microcontrollers (e.g., ARM TrustZone-M) enable isolation of Secure and Non-Secure software but still require both worlds to shar…
cs.CR2025
Provable Execution in Real-Time Embedded Systems
Antonio Joia Neto, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
Embedded devices are increasingly ubiquitous and vital, often supporting safety-critical functions. However, due to strict cost and energy constraints, they are typically implement…
cs.CR2024
TRACES: TEE-based Runtime Auditing for Commodity Embedded Systems
Adam Caulfield, Antonio Joia Neto, Norrathep Rattanavipanon +1
Control Flow Attestation (CFA) offers a means to detect control flow hijacking attacks on remote devices, enabling verification of their runtime trustworthiness. CFA generates a tr…