Static Transformation of Power Consumption for Software Attestation

TitleStatic Transformation of Power Consumption for Software Attestation
Publication TypeConference Paper
Year of Publication2016
AuthorsKauffman, S., C. Moreno, and S. Fischmeister
Conference NameIEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
Conference LocationDaegu, South Korea

Software attestation seeks to verify the authenticity
of a system without the aid of trusted hardware, and has
important applications in the field of security. Such attestation
schemes are of particular interest in the embedded domain, where
simplicity and limited resources constrain more complex security
solutions. At the same time, these properties enable attestation
approaches that rely on predictable side-effects. Most software
attestation schemes aim to verify the integrity of memory using
a combination of cryptographic schemes, internal side-effects
like TLB misses, and known timing constraints. However, little
attention has been paid to leveraging non-traditional side-effects,
in particular, externally observable side-effects such as power

In this paper we introduce a method for software attestation
using power consumption as the side-effect. We show how to
circumvent the undecidable nature of program execution for
this purpose and present a static compiler transformation which
implements the technique. Our approach is less intrusive than
traditional software attestation because the system does not
require interruption to compute a cryptographic checksum. It
is particularly well suited to real-time systems where consistent
timing is more important than speed.

Refereed DesignationRefereed
Related files: 


Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.