Skip to Main content Skip to Navigation
Journal articles

Maskara: Compilation of a Masking Countermeasure with Optimised Polynomial Interpolation

Nicolas Belleville 1 Damien Couroussé 1 Karine Heydemann 2 Quentin Meunier 2 Inès Ben El Ouahma 2
1 LFIM - Laboratoire Fonctions Innovantes pour circuits Mixtes
UGA - Université Grenoble Alpes, DSCIN - Département Systèmes et Circuits Intégrés Numériques : DRT/LIST/DSCIN
Abstract : Side-channel attacks are amongst the major threats for embedded systems and IoT devices. Masking is one of the most used countermeasure against such attacks, but its application remains a difficult process. We propose a target-independent approach for applying a first-order boolean masking countermeasure during compilation, on the static single assignment form. Contrary to state-of-the art automated approaches that require to simplify the control flow of the input program, our approach supports regular control-flow program structures. Moreover, our compiler is the first to automatically mask table lookups using a polynomial interpolation approach. We also present new optimisations to speed up the evaluation of polynomials: we reduce the number of terms of the polynomial, and we accelerate finite field multiplication. We show that our approach is faster than the standard masked table approach with mask refresh after each access, with speedups up to ×2.4 in our experiments. Finally, using a formal verification approach, we show that the compiled machine code is secure, i.e., that all intermediate computations are statistically independent of the secrets.
Document type :
Journal articles
Complete list of metadata
Contributor : Karine Heydemann Connect in order to contact the contributor
Submitted on : Tuesday, March 2, 2021 - 9:38:12 AM
Last modification on : Tuesday, January 4, 2022 - 6:09:02 AM
Long-term archiving on: : Monday, May 31, 2021 - 6:19:59 PM


Files produced by the author(s)



Nicolas Belleville, Damien Couroussé, Karine Heydemann, Quentin Meunier, Inès Ben El Ouahma. Maskara: Compilation of a Masking Countermeasure with Optimised Polynomial Interpolation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2020, 39 (11), pp.1-1. ⟨10.1109/TCAD.2020.3012237⟩. ⟨hal-02931632⟩



Les métriques sont temporairement indisponibles