Recently, several hardware-assisted security architectures have been proposed to mitigate the ever-growing cyber-attacks on Internet-connected devices. However, such proposals are not compatible with a large portion of the already deployed resource-constrained embedded devices due to hardware limitations. To fill this gap, we propose PISTIS, a pure-software trusted computing architecture for bare-metal low-end embedded devices. PISTIS enables several security services, such as memory isolation, remote attestation and secure code update, while fully supporting critical features such as Direct Memory Access (DMA) and interrupts. PISTIS targets a wide range of embedded devices including those that lack any hardware protection mechanisms, while only requiring a few kilobytes of Flash memory to store its root of trust (RoT) software. The entire architecture of PISTIS is built from the ground up by leveraging memory protection-enabling techniques such as assembly-level code verification and selective software virtualisation. Most importantly, PISTIS achieves strong security guarantees supported by a formally verified design. We implement and evaluate PISTIS on MSP430 architecture, showing a reasonable overhead in terms of runtime, memory footprint, and power consumption.

PISTIS: Trusted Computing Architecture for Low-end Embedded Systems / Grisafi, Michele; Ammar, Mahmoud; Roveri, Marco; Crispo, Bruno. - (2022), pp. 3843-3860. (Intervento presentato al convegno USENIX Security 22 tenutosi a Boston nel 10-12 August 2022).

PISTIS: Trusted Computing Architecture for Low-end Embedded Systems

Michele Grisafi;Marco Roveri;Bruno Crispo
2022-01-01

Abstract

Recently, several hardware-assisted security architectures have been proposed to mitigate the ever-growing cyber-attacks on Internet-connected devices. However, such proposals are not compatible with a large portion of the already deployed resource-constrained embedded devices due to hardware limitations. To fill this gap, we propose PISTIS, a pure-software trusted computing architecture for bare-metal low-end embedded devices. PISTIS enables several security services, such as memory isolation, remote attestation and secure code update, while fully supporting critical features such as Direct Memory Access (DMA) and interrupts. PISTIS targets a wide range of embedded devices including those that lack any hardware protection mechanisms, while only requiring a few kilobytes of Flash memory to store its root of trust (RoT) software. The entire architecture of PISTIS is built from the ground up by leveraging memory protection-enabling techniques such as assembly-level code verification and selective software virtualisation. Most importantly, PISTIS achieves strong security guarantees supported by a formally verified design. We implement and evaluate PISTIS on MSP430 architecture, showing a reasonable overhead in terms of runtime, memory footprint, and power consumption.
2022
31st USENIX Security Symposium (USENIX Security 22)
Boston
USENIX Association
978-1-939133-31-1
Grisafi, Michele; Ammar, Mahmoud; Roveri, Marco; Crispo, Bruno
PISTIS: Trusted Computing Architecture for Low-end Embedded Systems / Grisafi, Michele; Ammar, Mahmoud; Roveri, Marco; Crispo, Bruno. - (2022), pp. 3843-3860. (Intervento presentato al convegno USENIX Security 22 tenutosi a Boston nel 10-12 August 2022).
File in questo prodotto:
File Dimensione Formato  
sec22summer_grisafi.pdf

accesso aperto

Descrizione: first online
Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 792.9 kB
Formato Adobe PDF
792.9 kB Adobe PDF Visualizza/Apri
sec22-grisafi.pdf

accesso aperto

Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 1.07 MB
Formato Adobe PDF
1.07 MB Adobe PDF Visualizza/Apri

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/11572/331105
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact