International Conferences and Journals



2025 Further Improvements in AES Execution over TFHE
Sonia Belaïd, Nicolas Bon, Aymen Boudguiga, Renaud Sirdey, Daphné Trama, and Nicolas Ye.
IACR Communications in Cryptology [ePrint]
New Techniques for Random Probing Security and Application to Raccoon Signature Scheme
Sonia Belaïd, Matthieu Rivain, and Mélissa Rossi.
Eurocrypt [ePrint] [Python script]

2024 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 and Abdul Rahman Taleb.
Asiacrypt [ePrint]
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, and Mehdi Tibouchi.
Journal of Cryptology [ePrint]

2023 Unifying Freedom and Separation for Tight Probing-Secure Composition.
Sonia Belaïd, Gaëtan Cassiers, Matthieu Rivain, and Abdul Rahman Taleb.
Crypto [ePrint]
High Order Side-Channel Security for Elliptic-Curve Implementations.
Sonia Belaïd and Matthieu Rivain.
TCHES [ePrint]

2022 IronMask: Versatile Verification of Masking Security.
Sonia Belaïd, Darius Mercadier, Matthieu Rivain, and Abdul Rahman Taleb.
S&P [ePrint]

2021 Dynamic Random Probing Expansion with Quasi Linear Asymptotic Complexity.
Sonia Belaïd, Matthieu Rivain, Abdul Rahman Taleb, and Damien Vergnaud.
Asiacrypt [ePrint]
On the Power of Expansion: More Efficient Constructions in the Random Probing Model.
Sonia Belaïd, Matthieu Rivain, and Abdul Rahman Taleb.
Eurocrypt [ePrint]

2020 Random Probing Security: Verification, Composition, Expansion and New Constructions.
Sonia Belaïd, Jean-Sébastien Coron, Emmanuel Prouff, Matthieu Rivain, and Abdul Rahman Taleb.
Crypto [ePrint] [VRAPS tool]
Tornado: Automatic Generation of Probing-Secure Masked Bitsliced Implementations.
Sonia Belaïd, Pierre-Evariste Dagand, Darius Mercadier, Matthieu Rivain, and Raphaël Wintersdorff.
Eurocrypt [ePrint] [Tornado tool]

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, and Mehdi Tibouchi.
CCS [ePrint]
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, and François-Xavier Standaert.
ESORICS [ePrint]
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.
Journal of Cryptographic Engineering [ePrint]

2018 Tight Private Circuits: Achieving Probing Security with the Least Refreshing.
Sonia Belaïd, Dahmun Goudarzi, and Matthieu Rivain.
Asiacrypt [ePrint] [tightPROVE tool]
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, and Mehdi Tibouchi.
Eurocrypt [ePrint]

2017 Private Multiplication over Finite Fields.
Sonia Belaïd, Fabrice Benhamouda, Alain Passelègue, Emmanuel Prouff, Adrian Thillard, and Damien Vergnaud.
Crypto [Springer link]

2016 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 and Rebecca Zucchini.
CCS [preliminary and long version] [maskComp tool]
Randomness Complexity of Private Circuits for Multiplication.
Sonia Belaïd, Fabrice Benhamouda, Alain Passelègue, Emmanuel Prouff, Adrian Thillard, and Damien Vergnaud.
Eurocrypt [ePrint]

2015 Improved Side-Channel Analysis of Finite-Field Multiplication.
Sonia Belaïd, Jean-Sébastien Coron, Benoît Gérard, Pierre-Alain Fouque, Jean-Gabriel Kammerer, and Emmanuel Prouff.
CHES [ePrint]
Robust Pseudo-Random Number Generators with Input Secure Against Side-Channel Attacks.
Michel Abdalla, Sonia Belaïd, David Pointcheval, Sylvain Ruhault, and Damien Vergnaud.
ACNS [ePrint]
Verified Proofs of Higher-Order Masking.
Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, and Pierre-Yves Strub.
Eurocrypt [ePrint] [maskVerif tool]
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.
E-Business and Telecommunications [Springer link]

2014 Side-Channel Analysis of Multiplications in GF(2^{128}): Application to AES-GCM.
Sonia Belaïd, Pierre-Alain Fouque, and Benoît Gérard.
Asiacrypt
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, Jorn-Marc Schmidt, François-Xavier Standaert, and Stefan Tillich.
Journal of Cryptographic Engineering [Springer link] [ePrint]

2013 Leakage-Resilient Symmetric Encryption via Re-keying.
Michel Abdalla, Sonia Belaïd, and Pierre-Alain Fouque.
CHES [Full version] [ePrint]
Differential Power Analysis of HMAC SHA-2 in the Hamming Weight Model.
Sonia Belaïd, Luk Bettale, Emmanuelle Dottax, Laurie Genelle and Franck Rondepierre.
SECRYPT [PDF]

Books

2025 Book Chapter: Masking Security Proofs
Sonia Belaïd.
Embedded Cryptography 2 - SCIENCES - Cryptography, Data Security [official] [PDF]

Thesis

22-10-2015 Security of Cryptosystems Against Power-Analysis Attacks
Sonia Belaïd. [PDF]

© 2025 Sonia Belaïd. Tous droits réservés.