Mehari Msgna, Konstantinos Markantonakis, David Naccache, Keith Mayes. Verifying Software Integrity in Embedded Systems: A Side Channel Approach. In Emmanuel Prouff, editor, Constructive Side-Channel Analysis and Secure Design - 5th International Workshop, COSADE 2014, Paris, France, April 13-15, 2014. Revised Selected Papers. Volume 8622 of Lecture Notes in Computer Science, pages 261-280, Springer, 2014. [doi]
Abstract is missing.