Skip to Main content Skip to Navigation
Conference papers

Verifying Software Integrity in Embedded Systems: A Side Channel Approach

Msgna Mehari 1 Markantonakis Konstantinos 1 David Naccache 2, 3 Mayes Keith 1
1 Smart card Centre [Egham]
2 CASCADE - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
3 LIENS - Laboratoire d'informatique de l'école normale supérieure
Abstract : In the last few decades embedded processors have invaded the modern lifestyle. Embedded systems have hardware and software components. Assuring the integrity of the software is very important as it is the component that controls what the hardware does through its instructions. Although there exist a number of software integrity verification techniques, they often fail to work in embedded environment. One main reason is, the memory read protection, frequently implemented in today’s microprocessors, that prevent the verifier from reading out the necessary software parts. In this paper we show that side channel leakage (power consumption) can be used to verify the integrity of the software component without prior knowledge of the software code. Our approach uses instruction-level power consumption templates to extract information about executed instructions by the processor. Then this information together with pre-computed signatures are used to verify the integrity of the executed application using RSA signature screening algorithm. The instruction-level templates are constructed ahead of time using few authentic reference processors.
Keywords : Side channels security cryptography
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-01098381
Contributor : David Naccache <>
Submitted on : Wednesday, December 24, 2014 - 12:24:45 PM
Last modification on : Thursday, July 1, 2021 - 5:58:06 PM

Identifiers

Collections

CNRS | INRIA | ENS-PARIS | PSL

Citation

Msgna Mehari, Markantonakis Konstantinos, David Naccache, Mayes Keith. Verifying Software Integrity in Embedded Systems: A Side Channel Approach. Constructive Side-Channel Analysis and Secure Design, Apr 2014, Paris, France. pp.19, ⟨10.1007/978-3-319-10175-0_18⟩. ⟨hal-01098381⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

355

 

Contact                    Legal Notice                    Personal Data