Skip to Main content Skip to Navigation
Journal articles

Maskara: Compilation of a Masking Countermeasure with Optimised Polynomial Interpolation

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

https://hal.sorbonne-universite.fr/hal-02931632
Contributor : Karine Heydemann <>
Submitted on : Tuesday, March 2, 2021 - 9:38:12 AM
Last modification on : Thursday, June 3, 2021 - 4:02:04 PM
Long-term archiving on: : Monday, May 31, 2021 - 6:19:59 PM

File

Maskara.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

174

Files downloads

80