Differential Power Analysis of HMAC SHA-2 in the Hamming Weight Model. - Sonia Belaïd; Luk Bettale; Emmanuelle Dottax; Laurie Genelle; Franck Rondepierre (SECRYPT, 2013)

Side-Channel Analysis of Multiplications in GF(2128) - Application to AES-GCM. - Sonia Belaïd; Pierre-Alain Fouque; Benoît Gérard (ASIACRYPT (2), 2014)

Differential Power Analysis of HMAC SHA-1 and HMAC SHA-2 in the Hamming Weight Model. - Sonia Belaïd; Luk Bettale; Emmanuelle Dottax; Laurie Genelle; Franck Rondepierre (ICETE (Selected Papers), 2014)

Towards fresh re-keying with leakage-resilient PRFs: cipher design principles and analysis. - Sonia Belaïd; Fabrizio De Santis; Johann Heyszl; Stefan Mangard; Marcel Medwed; Jörn-Marc Schmidt; François-Xavier Standaert; Stefan Tillich (J. Cryptogr. Eng., 2014)

Masking and leakage-resilient primitives: One, the other(s) or both? - Sonia Belaïd; Vincent Grosso; François-Xavier Standaert (Cryptogr. Commun., 2015)

Leakage-Resilient Symmetric Encryption via Re-keying. - Michel Abdalla; Sonia Belaïd; Pierre-Alain Fouque (IACR Cryptol. ePrint Arch., 2015)

Robust Pseudo-Random Number Generators with Input Secure Against Side-Channel Attacks. - Michel Abdalla; Sonia Belaïd; David Pointcheval; Sylvain Ruhault; Damien Vergnaud (IACR Cryptol. ePrint Arch., 2015)

Compositional Verification of Higher-Order Masking: Application to a Verifying Masking Compiler. - Gilles Barthe; Sonia Belaïd; François Dupressoir; Pierre-Alain Fouque; Benjamin Grégoire (IACR Cryptol. ePrint Arch., 2015)

Verified Proofs of Higher-Order Masking. - Gilles Barthe; Sonia Belaïd; François Dupressoir; Pierre-Alain Fouque; Benjamin Grégoire; Pierre-Yves Strub (IACR Cryptol. ePrint Arch., 2015)

Improved Side-Channel Analysis of Finite-Field Multiplication. - Sonia Belaïd; Jean-Sébastien Coron; Pierre-Alain Fouque; Benoît Gérard; Jean-Gabriel Kammerer; Emmanuel Prouff (IACR Cryptol. ePrint Arch., 2015)

Security of Cryptosystems Against Power-Analysis Attacks. (Sécurité des cryptosystèmes contre les attaques par analyse de courant). - Sonia Belaïd (2015)

Strong Non-Interference and Type-Directed Higher-Order Masking. - Gilles Barthe; Sonia Belaïd; François Dupressoir; Pierre-Alain Fouque; Benjamin Grégoire; Pierre-Yves Strub; Rébecca Zucchini (CCS, 2016)

Randomness Complexity of Private Circuits for Multiplication. - Sonia Belaïd; Fabrice Benhamouda; Alain Passelègue; Emmanuel Prouff; Adrian Thillard; Damien Vergnaud (IACR Cryptol. ePrint Arch., 2016)

Private Multiplication over Finite Fields. - Sonia Belaïd; Fabrice Benhamouda; Alain Passelègue; Emmanuel Prouff; Adrian Thillard; Damien Vergnaud (CRYPTO (3), 2017)

Improved Parallel Mask Refreshing Algorithms: Generic Solutions with Parametrized Non-Interference & Automated Optimizations. - Gilles Barthe; Sonia Belaïd; François Dupressoir; Pierre-Alain Fouque; Benjamin Grégoire; François-Xavier Standaert; Pierre-Yves Strub (IACR Cryptol. ePrint Arch., 2018)

maskVerif: a formal tool for analyzing software and hardware masked implementations. - Gilles Barthe; Sonia Belaïd; Pierre-Alain Fouque; Benjamin Grégoire (IACR Cryptol. ePrint Arch., 2018)

Tight Private Circuits: Achieving Probing Security with the Least Refreshing. - Sonia Belaïd; Dahmun Goudarzi; Matthieu Rivain (IACR Cryptol. ePrint Arch., 2018)

maskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults. - Gilles Barthe; Sonia Belaïd; Gaëtan Cassiers; Pierre-Alain Fouque; Benjamin Grégoire; François-Xavier Standaert (ESORICS (1), 2019)

GALACTICS: Gaussian Sampling for Lattice-Based Constant-Time Implementation of Cryptographic Signatures, Revisited. - Gilles Barthe; Sonia Belaïd; Thomas Espitau; Pierre-Alain Fouque; Mélissa Rossi; Mehdi Tibouchi (IACR Cryptol. ePrint Arch., 2019)

Random Probing Security: Verification, Composition, Expansion and New Constructions. - Sonia Belaïd; Jean-Sébastien Coron; Emmanuel Prouff; Matthieu Rivain; Abdul Rahman Taleb (IACR Cryptol. ePrint Arch., 2020)

Tornado: Automatic Generation of Probing-Secure Masked Bitsliced Implementations. - Sonia Belaïd; Pierre-Évariste Dagand; Darius Mercadier; Matthieu Rivain; Raphaël Wintersdorff (IACR Cryptol. ePrint Arch., 2020)

Improved parallel mask refreshing algorithms: generic solutions with parametrized non-interference and automated optimizations. - Gilles Barthe; Sonia Belaïd; François Dupressoir; Pierre-Alain Fouque; Benjamin Grégoire; François-Xavier Standaert; Pierre-Yves Strub (J. Cryptogr. Eng., 2020)

IronMask: Versatile Verification of Masking Security. - Sonia Belaïd; Darius Mercadier; Matthieu Rivain; Abdul Rahman Taleb (IACR Cryptol. ePrint Arch., 2021)

High Order Countermeasures for Elliptic-Curve Implementations with Noisy Leakage Security. - Sonia Belaïd; Matthieu Rivain (IACR Cryptol. ePrint Arch., 2021)

On the Power of Expansion: More Efficient Constructions in the Random Probing Model. - Sonia Belaïd; Matthieu Rivain; Abdul Rahman Taleb (IACR Cryptol. ePrint Arch., 2021)

Dynamic Random Probing Expansion with Quasi Linear Asymptotic Complexity. - Sonia Belaïd; Matthieu Rivain; Abdul Rahman Taleb; Damien Vergnaud (IACR Cryptol. ePrint Arch., 2021)

Towards Achieving Provable Side-Channel Security in Practice. - Sonia Belaïd; Gaëtan Cassiers; Camille Mutschler; Matthieu Rivain; Thomas Roche; François-Xavier Standaert; Abdul Rahman Taleb (IACR Cryptol. ePrint Arch., 2023)

Unifying Freedom and Separation for Tight Probing-Secure Composition. - Sonia Belaïd; Gaëtan Cassiers; Matthieu Rivain; Abdul Rahman Taleb (IACR Cryptol. ePrint Arch., 2023)

High Order Side-Channel Security for Elliptic-Curve Implementations. - Sonia Belaïd; Matthieu Rivain (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023)

Formal Definition and Verification for Combined Random Fault and Random Probing Security. - Sonia Belaïd; Jakob Feldtkeller; Tim Güneysu; Anna Guinet; Jan Richter-Brockmann; Matthieu Rivain; Pascal Sasdrich; Abdul Rahman Taleb (IACR Cryptol. ePrint Arch., 2024)

Masking the GLP Lattice-Based Signature Scheme at Any Order. - Gilles Barthe; Sonia Belaïd; Thomas Espitau; Pierre-Alain Fouque; Benjamin Grégoire; Mélissa Rossi; Mehdi Tibouchi (J. Cryptol., 2024)

Further Improvements in AES Execution over TFHE. - Sonia Belaïd; Nicolas Bon; Aymen Boudguiga; Renaud Sirdey; Daphné Trama; Nicolas Ye (IACR Commun. Cryptol., 2025)

SoK: A Methodology to Achieve Provable Side-Channel Security in Real-World Implementations. - Sonia Belaïd; Gaëtan Cassiers; Camille Mutschler; Matthieu Rivain; Thomas Roche; François-Xavier Standaert; Abdul Rahman Taleb (IACR Commun. Cryptol., 2025)

Transistor: a TFHE-friendly Stream Cipher. - Jules Baudrin; Sonia Belaïd; Nicolas Bon; Christina Boura; Anne Canteaut; Gaëtan Leurent; Pascal Paillier; Léo Perrin; Matthieu Rivain; Yann Rotella; Samuel Tap (IACR Cryptol. ePrint Arch., 2025)

Further Improvements in AES Execution over TFHE: Towards Breaking the 1 sec Barrier. - Sonia Belaïd; Nicolas Bon; Aymen Boudguiga; Renaud Sirdey; Daphné Trama; Nicolas Ye (IACR Cryptol. ePrint Arch., 2025)

New Techniques for Random Probing Security and Application to Raccoon Signature Scheme. - Sonia Belaïd; Matthieu Rivain; Mélissa Rossi (IACR Cryptol. ePrint Arch., 2025)