Computer systems that operate on volatile energy sources typically rely on intermittent computing approaches, which involve checkpointing the system's state and persisting a checkpoint to non-volatile memory before the system loses power, and then restoring this checkpointed state when the power supply becomes available again. This process allows for long-running tasks to make progress, but involves security risks when power interruption is used as an attack vector. Based on earlier work that secures checkpoints and checkpoint restoration on the MSP430 MCU, we implement and evaluate a secure intermittent computing protocol that relies on the security features of TrustZone on a Cortex-M MCU to protect the integrity, authenticity, state continuity, and freshness of checkpointed state. Our results show that checkpoints can be created or restored in 20–40 ms, depending on workload sizes. To the best of our knowledge, our work is the first to implement a complete checkpoint utility for the ARM TrustZone's secure world.

Secure Intermittent Computing with ARM TrustZone on the Cortex-M / Chiavassa, Pietro; Gandino, Filippo; Ferrero, Renato; Muehlberg, Jan Tobias. - (2024), pp. 160-168. (Intervento presentato al convegno 2024 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) SysTEX 2024 - 7th Workshop on System Software for Trusted Execution tenutosi a Vienna (AT) nel 08-12 July 2024) [10.1109/EuroSPW61312.2024.00022].

Secure Intermittent Computing with ARM TrustZone on the Cortex-M

Chiavassa,Pietro;Gandino,Filippo;Ferrero,Renato;
2024

Abstract

Computer systems that operate on volatile energy sources typically rely on intermittent computing approaches, which involve checkpointing the system's state and persisting a checkpoint to non-volatile memory before the system loses power, and then restoring this checkpointed state when the power supply becomes available again. This process allows for long-running tasks to make progress, but involves security risks when power interruption is used as an attack vector. Based on earlier work that secures checkpoints and checkpoint restoration on the MSP430 MCU, we implement and evaluate a secure intermittent computing protocol that relies on the security features of TrustZone on a Cortex-M MCU to protect the integrity, authenticity, state continuity, and freshness of checkpointed state. Our results show that checkpoints can be created or restored in 20–40 ms, depending on workload sizes. To the best of our knowledge, our work is the first to implement a complete checkpoint utility for the ARM TrustZone's secure world.
2024
979-8-3503-6729-4
File in questo prodotto:
File Dimensione Formato  
2024-systex-intermittent.pdf

non disponibili

Tipologia: 2. Post-print / Author's Accepted Manuscript
Licenza: Non Pubblico - Accesso privato/ristretto
Dimensione 250.95 kB
Formato Adobe PDF
250.95 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Secure_Intermittent_Computing_with_ARM_TrustZone_on_the_Cortex-M.pdf

non disponibili

Tipologia: 2a Post-print versione editoriale / Version of Record
Licenza: Non Pubblico - Accesso privato/ristretto
Dimensione 307.16 kB
Formato Adobe PDF
307.16 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11583/2989808