| 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, and Abdul Rahman Taleb. IACR Communications in Cryptology [ePrint] |
| 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] |
|
| 2025 | Book Chapter: Masking Security Proofs Sonia Belaïd. Embedded Cryptography 2 - SCIENCES - Cryptography, Data Security [official] [PDF] |
| 22-10-2015 | Security of Cryptosystems Against Power-Analysis Attacks Sonia Belaïd. [PDF] |
© 2025 Sonia Belaïd. Tous droits réservés.