1 citations · 1 across the 3 of their papers we have counts for
3 papers
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…
DiCA: A Hardware-Software Co-Design for Differential Checkpointing in Intermittently Powered Devices
Antonio Joia Neto, Adam Caulfield, Chistabelle Alvares +1
Intermittently powered devices rely on opportunistic energy-harvesting to function, leading to recurrent power interruptions. This paper introduces DiCA, a proposal for a hardware/…
ISC-FLAT: On the Conflict Between Control Flow Attestation and Real-Time Operations
Antonio Joia Neto, Ivan de Oliveira Nunes
The wide adoption of IoT gadgets and Cyber-Physical Systems (CPS) makes embedded devices increasingly important. While some of these devices perform mission-critical tasks, they ar…