Verifying software integrity in embedded systems: a side channel approach

DOI10.1007/978-3-319-10175-0_18MaRDI QIDQ2794596zbMATH OpenOpenAlexFDO

Authors Mehari G. Msgna, Konstantinos Markantonakis, David Naccache, Keith Mayes

Publication date 10 March 2016

Published in Constructive Side-Channel Analysis and Secure Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-10175-0_18

zbMATH Keywords

templatesprincipal components analysispower analysisapplication integrityRSA signature screeningside channel leakage

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• A compiler-hardware approach to software protection for embedded systems
• Attestation waves: platform trust via remote power analysis
• \textsc{SCInfer}: refinement-based verification of software countermeasures against side-channel attacks
• scientific article; zbMATH DE number 1952769
• Security in embedded devices

Cited in

(5)

• Secure application execution in mobile devices
• A compiler-hardware approach to software protection for embedded systems
• Attestation waves: platform trust via remote power analysis
• Secure Code Update for Embedded Devices via Proofs of Secure Erasure
• Using Virtual Secure Circuit to Protect Embedded Software from Side-Channel Attacks

This page was built for publication: Verifying software integrity in embedded systems: a side channel approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2794596)