Automatic Application of Power Analysis Countermeasures

Ali Galip Bayrak 1 Francesco Regazzoni 2 David Novo 3 Philip Brisk 4 François-Xavier Standaert 5 Paolo Ienne 4
1 EPFL - Ecole Polytechnique Fédérale de Lausanne
2 Faculty of Informatics [Lugano]
3 ADAC - ADAptive Computing
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
4 School of Computer and Communication Sciences - EPFL
5 UCL - Université Catholique de Louvain
Abstract : We introduce a compiler that automatically inserts software countermeasures to protect cryptographic algorithms against power-based side-channel attacks. The compiler first estimates which instruction instances leak the most information through side-channels. This information is obtained either by dynamic analysis, evaluating an information theoretic metric over the power traces acquired during the execution of the input program, or by static analysis. As information leakage implies a loss of security, the compiler then identifies (groups of) instruction instances to protect with a software countermeasure such as random precharging or Boolean masking. As software protection incurs significant overhead in terms of cryptosystem runtime and memory usage, the compiler protects the minimum number of instruction instances to achieve a desired level of security. The compiler is evaluated on two block ciphers, AES and Clefia; our experiments demonstrate that the compiler can automatically identify and protect the most important instruction instances. To date, these software countermeasures have been inserted manually by security experts, who are not necessarily the main cryptosystem developers. Our compiler offers significant productivity gains for cryptosystem developers who wish to protect their implementations from side-channel attacks.
Document type :
Journal articles
Complete list of metadatas
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01959272
Contributor : David Novo <>
Submitted on : Tuesday, December 18, 2018 - 3:57:32 PM
Last modification on : Thursday, December 20, 2018 - 1:28:35 AM

Links full text

openaccess

Identifiers

Collections

LIRMM | CNRS | LIRMM_MIC | MIC | MIPS | UNIV-MONTPELLIER | ADAC

Citation

Ali Galip Bayrak, Francesco Regazzoni, David Novo, Philip Brisk, François-Xavier Standaert, et al.. Automatic Application of Power Analysis Countermeasures. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2015, 64 (2), pp.329-341. ⟨10.1109/TC.2013.219⟩. ⟨lirmm-01959272⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

102

Contact

Informations

CCSD