Skip to Main content Skip to Navigation
Conference papers

Verifying Software Integrity in Embedded Systems: A Side Channel Approach

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.
Document type :
Conference papers
Complete list of metadata
Contributor : David Naccache Connect in order to contact the contributor
Submitted on : Wednesday, December 24, 2014 - 12:24:45 PM
Last modification on : Thursday, March 17, 2022 - 10:08:36 AM




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⟩



Record views