Sonia Belaïd

61 papers A* 3A 2B 1C 2Journal 35Unranked 17
YearRankTypeTitle / Venue / Authors
2026 J jnl
ML-DSA masking sweetened with SUCRE: Shuffle-and-Unmask Countermeasure for REjection sampling.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
Sonia Belaïd, Ryad Benadjila, Julien Devevey, Morgane Guerreau, Thomas Legavre, Ange Martinelli, Thomas Ricosset, Matthieu Rivain, Mélissa Rossi
2025 J jnl
Further Improvements in AES Execution over TFHE.
IACR Commun. Cryptol.
Sonia Belaïd, Nicolas Bon, Aymen Boudguiga, Renaud Sirdey, Daphné Trama, Nicolas Ye
2025 J jnl
Further Improvements in AES Execution over TFHE: Towards Breaking the 1 sec Barrier.
IACR Cryptol. ePrint Arch.
Sonia Belaïd, Nicolas Bon, Aymen Boudguiga, Renaud Sirdey, Daphné Trama, Nicolas Ye
2025 — conf
Masked Circuit Compiler in the Cardinal Random Probing Composability Framework.
ASIACRYPT (2)
Sonia Belaïd, Victor Normand, Matthieu Rivain
2025 J jnl
Masked Circuit Compiler in the Cardinal Random Probing Composability Framework.
IACR Cryptol. ePrint Arch.
Sonia Belaïd, Victor Normand, Matthieu Rivain
2025 — conf
New Techniques for Random Probing Security and Application to Raccoon Signature Scheme.
EUROCRYPT (8)
Sonia Belaïd, Matthieu Rivain, Mélissa Rossi
2025 J jnl
New Techniques for Random Probing Security and Application to Raccoon Signature Scheme.
IACR Cryptol. ePrint Arch.
Sonia Belaïd, Matthieu Rivain, Mélissa Rossi
2025 J jnl
PERSEUS - Probabilistic Evaluation of Random probing SEcurity Using efficient Sampling.
IACR Cryptol. ePrint Arch.
Sonia Belaïd, Gaëtan Cassiers
2025 J jnl
SoK: A Methodology to Achieve Provable Side-Channel Security in Real-World Implementations.
IACR Commun. Cryptol.
Sonia Belaïd, Gaëtan Cassiers, Camille Mutschler, Matthieu Rivain, Thomas Roche, François-Xavier Standaert, Abdul Rahman Taleb
2025 — conf
Transistor: a TFHE-Friendly Stream Cipher.
CRYPTO (5)
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
2025 J jnl
Transistor: a TFHE-friendly Stream Cipher.
IACR Cryptol. ePrint Arch.
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
2024 — conf
Formal Definition and Verification for Combined Random Fault and Random Probing Security.
ASIACRYPT (7)
Sonia Belaïd, Jakob Feldtkeller, Tim Güneysu, Anna Guinet, Jan Richter-Brockmann, Matthieu Rivain, Pascal Sasdrich, Abdul Rahman Taleb
2024 J jnl
Formal Definition and Verification for Combined Random Fault and Random Probing Security.
IACR Cryptol. ePrint Arch.
Sonia Belaïd, Jakob Feldtkeller, Tim Güneysu, Anna Guinet, Jan Richter-Brockmann, Matthieu Rivain, Pascal Sasdrich, Abdul Rahman Taleb
2024 J jnl
Masking the GLP Lattice-Based Signature Scheme at Any Order.
J. Cryptol.
Gilles Barthe, Sonia Belaïd, Thomas Espitau, Pierre-Alain Fouque, Benjamin Grégoire, Mélissa Rossi, Mehdi Tibouchi
2023 J jnl
High Order Side-Channel Security for Elliptic-Curve Implementations.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
Sonia Belaïd, Matthieu Rivain
2023 J jnl
Towards Achieving Provable Side-Channel Security in Practice.
IACR Cryptol. ePrint Arch.
Sonia Belaïd, Gaëtan Cassiers, Camille Mutschler, Matthieu Rivain, Thomas Roche, François-Xavier Standaert, Abdul Rahman Taleb
2023 — conf
Unifying Freedom and Separation for Tight Probing-Secure Composition.
CRYPTO (3)
Sonia Belaïd, Gaëtan Cassiers, Matthieu Rivain, Abdul Rahman Taleb
2023 J jnl
Unifying Freedom and Separation for Tight Probing-Secure Composition.
IACR Cryptol. ePrint Arch.
Sonia Belaïd, Gaëtan Cassiers, Matthieu Rivain, Abdul Rahman Taleb
2022 A* conf
IronMask: Versatile Verification of Masking Security.
SP
Sonia Belaïd, Darius Mercadier, Matthieu Rivain, Abdul Rahman Taleb
2021 — conf
Dynamic Random Probing Expansion with Quasi Linear Asymptotic Complexity.
ASIACRYPT (2)
Sonia Belaïd, Matthieu Rivain, Abdul Rahman Taleb, Damien Vergnaud
2021 J jnl
Dynamic Random Probing Expansion with Quasi Linear Asymptotic Complexity.
IACR Cryptol. ePrint Arch.
Sonia Belaïd, Matthieu Rivain, Abdul Rahman Taleb, Damien Vergnaud
2021 J jnl
High Order Countermeasures for Elliptic-Curve Implementations with Noisy Leakage Security.
IACR Cryptol. ePrint Arch.
Sonia Belaïd, Matthieu Rivain
2021 J jnl
IronMask: Versatile Verification of Masking Security.
IACR Cryptol. ePrint Arch.
Sonia Belaïd, Darius Mercadier, Matthieu Rivain, Abdul Rahman Taleb
2021 — conf
On the Power of Expansion: More Efficient Constructions in the Random Probing Model.
EUROCRYPT (2)
Sonia Belaïd, Matthieu Rivain, Abdul Rahman Taleb
2021 J jnl
On the Power of Expansion: More Efficient Constructions in the Random Probing Model.
IACR Cryptol. ePrint Arch.
Sonia Belaïd, Matthieu Rivain, Abdul Rahman Taleb
2020 J jnl
Improved parallel mask refreshing algorithms: generic solutions with parametrized non-interference and automated optimizations.
J. Cryptogr. Eng.
Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, François-Xavier Standaert, Pierre-Yves Strub
2020 — conf
Random Probing Security: Verification, Composition, Expansion and New Constructions.
CRYPTO (1)
Sonia Belaïd, Jean-Sébastien Coron, Emmanuel Prouff, Matthieu Rivain, Abdul Rahman Taleb
2020 J jnl
Random Probing Security: Verification, Composition, Expansion and New Constructions.
IACR Cryptol. ePrint Arch.
Sonia Belaïd, Jean-Sébastien Coron, Emmanuel Prouff, Matthieu Rivain, Abdul Rahman Taleb
2020 C ed.
Smart Card Research and Advanced Applications - 18th International Conference, CARDIS 2019, Prague, Czech Republic, November 11-13, 2019, Revised Selected Papers
CARDIS
Sonia Belaïd, Tim Güneysu
2020 — conf
Tornado: Automatic Generation of Probing-Secure Masked Bitsliced Implementations.
EUROCRYPT (3)
Sonia Belaïd, Pierre-Évariste Dagand, Darius Mercadier, Matthieu Rivain, Raphaël Wintersdorff
2020 J jnl
Tornado: Automatic Generation of Probing-Secure Masked Bitsliced Implementations.
IACR Cryptol. ePrint Arch.
Sonia Belaïd, Pierre-Évariste Dagand, Darius Mercadier, Matthieu Rivain, Raphaël Wintersdorff
2019 A* conf
GALACTICS: Gaussian Sampling for Lattice-Based Constant- Time Implementation of Cryptographic Signatures, Revisited.
CCS
Gilles Barthe, Sonia Belaïd, Thomas Espitau, Pierre-Alain Fouque, Mélissa Rossi, Mehdi Tibouchi
2019 J jnl
GALACTICS: Gaussian Sampling for Lattice-Based Constant-Time Implementation of Cryptographic Signatures, Revisited.
IACR Cryptol. ePrint Arch.
Gilles Barthe, Sonia Belaïd, Thomas Espitau, Pierre-Alain Fouque, Mélissa Rossi, Mehdi Tibouchi
2019 — conf
maskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults.
ESORICS (1)
Gilles Barthe, Sonia Belaïd, Gaëtan Cassiers, Pierre-Alain Fouque, Benjamin Grégoire, François-Xavier Standaert
2018 J jnl
Improved Parallel Mask Refreshing Algorithms: Generic Solutions with Parametrized Non-Interference & Automated Optimizations.
IACR Cryptol. ePrint Arch.
Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, François-Xavier Standaert, Pierre-Yves Strub
2018 — conf
Masking the GLP Lattice-Based Signature Scheme at Any Order.
EUROCRYPT (2)
Gilles Barthe, Sonia Belaïd, Thomas Espitau, Pierre-Alain Fouque, Benjamin Grégoire, Mélissa Rossi, Mehdi Tibouchi
2018 J jnl
Masking the GLP Lattice-Based Signature Scheme at Any Order.
IACR Cryptol. ePrint Arch.
Gilles Barthe, Sonia Belaïd, Thomas Espitau, Pierre-Alain Fouque, Benjamin Grégoire, Mélissa Rossi, Mehdi Tibouchi
2018 — conf
Tight Private Circuits: Achieving Probing Security with the Least Refreshing.
ASIACRYPT (2)
Sonia Belaïd, Dahmun Goudarzi, Matthieu Rivain
2018 J jnl
Tight Private Circuits: Achieving Probing Security with the Least Refreshing.
IACR Cryptol. ePrint Arch.
Sonia Belaïd, Dahmun Goudarzi, Matthieu Rivain
2018 J jnl
maskVerif: a formal tool for analyzing software and hardware masked implementations.
IACR Cryptol. ePrint Arch.
Gilles Barthe, Sonia Belaïd, Pierre-Alain Fouque, Benjamin Grégoire
2017 — conf
Private Multiplication over Finite Fields.
CRYPTO (3)
Sonia Belaïd, Fabrice Benhamouda, Alain Passelègue, Emmanuel Prouff, Adrian Thillard, Damien Vergnaud
2016 — conf
Randomness Complexity of Private Circuits for Multiplication.
EUROCRYPT (2)
Sonia Belaïd, Fabrice Benhamouda, Alain Passelègue, Emmanuel Prouff, Adrian Thillard, Damien Vergnaud
2016 J jnl
Randomness Complexity of Private Circuits for Multiplication.
IACR Cryptol. ePrint Arch.
Sonia Belaïd, Fabrice Benhamouda, Alain Passelègue, Emmanuel Prouff, Adrian Thillard, Damien Vergnaud
2016 A* conf
Strong Non-Interference and Type-Directed Higher-Order Masking.
CCS
Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, Pierre-Yves Strub, Rébecca Zucchini
2015 J jnl
Compositional Verification of Higher-Order Masking: Application to a Verifying Masking Compiler.
IACR Cryptol. ePrint Arch.
Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire
2015 A conf
Improved Side-Channel Analysis of Finite-Field Multiplication.
CHES
Sonia Belaïd, Jean-Sébastien Coron, Pierre-Alain Fouque, Benoît Gérard, Jean-Gabriel Kammerer, Emmanuel Prouff
2015 J jnl
Improved Side-Channel Analysis of Finite-Field Multiplication.
IACR Cryptol. ePrint Arch.
Sonia Belaïd, Jean-Sébastien Coron, Pierre-Alain Fouque, Benoît Gérard, Jean-Gabriel Kammerer, Emmanuel Prouff
2015 J jnl
Leakage-Resilient Symmetric Encryption via Re-keying.
IACR Cryptol. ePrint Arch.
Michel Abdalla, Sonia Belaïd, Pierre-Alain Fouque
2015 J jnl
Masking and leakage-resilient primitives: One, the other(s) or both?
Cryptogr. Commun.
Sonia Belaïd, Vincent Grosso, François-Xavier Standaert
2015 B conf
Robust Pseudo-Random Number Generators with Input Secure Against Side-Channel Attacks.
ACNS
Michel Abdalla, Sonia Belaïd, David Pointcheval, Sylvain Ruhault, Damien Vergnaud
2015 J jnl
Robust Pseudo-Random Number Generators with Input Secure Against Side-Channel Attacks.
IACR Cryptol. ePrint Arch.
Michel Abdalla, Sonia Belaïd, David Pointcheval, Sylvain Ruhault, Damien Vergnaud
2015 — —
Security of Cryptosystems Against Power-Analysis Attacks. (Sécurité des cryptosystèmes contre les attaques par analyse de courant).
Sonia Belaïd
2015 — conf
Verified Proofs of Higher-Order Masking.
EUROCRYPT (1)
Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, Pierre-Yves Strub
2015 J jnl
Verified Proofs of Higher-Order Masking.
IACR Cryptol. ePrint Arch.
Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, Pierre-Yves Strub
2014 — conf
Differential Power Analysis of HMAC SHA-1 and HMAC SHA-2 in the Hamming Weight Model.
ICETE (Selected Papers)
Sonia Belaïd, Luk Bettale, Emmanuelle Dottax, Laurie Genelle, Franck Rondepierre
2014 J jnl
Masking and Leakage-Resilient Primitives: One, the Other(s) or Both?
IACR Cryptol. ePrint Arch.
Sonia Belaïd, Vincent Grosso, François-Xavier Standaert
2014 — conf
Side-Channel Analysis of Multiplications in GF(2128) - Application to AES-GCM.
ASIACRYPT (2)
Sonia Belaïd, Pierre-Alain Fouque, Benoît Gérard
2014 J jnl
Towards fresh re-keying with leakage-resilient PRFs: cipher design principles and analysis.
J. Cryptogr. Eng.
Sonia Belaïd, Fabrizio De Santis, Johann Heyszl, Stefan Mangard, Marcel Medwed, Jörn-Marc Schmidt, François-Xavier Standaert, Stefan Tillich
2013 C conf
Differential Power Analysis of HMAC SHA-2 in the Hamming Weight Model.
SECRYPT
Sonia Belaïd, Luk Bettale, Emmanuelle Dottax, Laurie Genelle, Franck Rondepierre
2013 A conf
Leakage-Resilient Symmetric Encryption via Re-keying.
CHES
Michel Abdalla, Sonia Belaïd, Pierre-Alain Fouque
2013 J jnl
Towards Fresh Re-Keying with Leakage-Resilient PRFs: Cipher Design Principles and Analysis.
IACR Cryptol. ePrint Arch.
Sonia Belaïd, Fabrizio De Santis, Johann Heyszl, Stefan Mangard, Marcel Medwed, Jörn-Marc Schmidt, François-Xavier Standaert, Stefan Tillich