Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly Codes. - Inès Ben El Ouahma; Quentin L. Meunier; Karine Heydemann; Emmanuelle Encrenaz (PROOFS, 2017)

Side-channel robustness analysis of masked assembly codes using a symbolic approach. - Inès Ben El Ouahma; Quentin L. Meunier; Karine Heydemann; Emmanuelle Encrenaz (J. Cryptogr. Eng., 2019)

Maskara: Compilation of a Masking Countermeasure With Optimized Polynomial Interpolation. - Nicolas Belleville; Damien Couroussé; Karine Heydemann; Quentin L. Meunier; Inès Ben El Ouahma (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)