Sonia Belaïd

According to our database, Sonia Belaïd authored at least 38 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Masked Circuit Compiler in the Cardinal Random Probing Composability Framework.

Sonia Belaïd, Victor Normand, Matthieu Rivain

IACR Cryptol. ePrint Arch., 2025

PERSEUS - Probabilistic Evaluation of Random probing SEcurity Using efficient Sampling.

Sonia Belaïd, Gaëtan Cassiers

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

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

Further Improvements in AES Execution over TFHE.

Sonia Belaïd, Nicolas Bon, Aymen Boudguiga, Renaud Sirdey, Daphné Trama, Nicolas Ye

IACR Commun. Cryptol., 2025

New Techniques for Random Probing Security and Application to Raccoon Signature Scheme.

Sonia Belaïd, Matthieu Rivain, Mélissa Rossi

Proceedings of the Advances in Cryptology - EUROCRYPT 2025, 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

Proceedings of the Advances in Cryptology - CRYPTO 2025, 2025

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, Abdul Rahman Taleb

Proceedings of the Advances in Cryptology - ASIACRYPT 2024, 2024

2023

High Order Side-Channel Security for Elliptic-Curve Implementations.

Sonia Belaïd, Matthieu Rivain

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023

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

Proceedings of the Advances in Cryptology - CRYPTO 2023, 2023

2022

IronMask: Versatile Verification of Masking Security.

Sonia Belaïd, Darius Mercadier, Matthieu Rivain, Abdul Rahman Taleb

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

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

Proceedings of the Advances in Cryptology - EUROCRYPT 2021, 2021

Dynamic Random Probing Expansion with Quasi Linear Asymptotic Complexity.

Sonia Belaïd, Matthieu Rivain, Abdul Rahman Taleb, Damien Vergnaud

Proceedings of the Advances in Cryptology - ASIACRYPT 2021, 2021

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

Tornado: Automatic Generation of Probing-Secure Masked Bitsliced Implementations.

Sonia Belaïd, Pierre-Évariste Dagand, Darius Mercadier, Matthieu Rivain, Raphaël Wintersdorff

Proceedings of the Advances in Cryptology - EUROCRYPT 2020, 2020

Random Probing Security: Verification, Composition, Expansion and New Constructions.

Sonia Belaïd, Jean-Sébastien Coron, Emmanuel Prouff, Matthieu Rivain, Abdul Rahman Taleb

Proceedings of the Advances in Cryptology - CRYPTO 2020, 2020

2019

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

Proceedings of the Computer Security - ESORICS 2019, 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

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

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

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

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

Proceedings of the Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29, 2018

Tight Private Circuits: Achieving Probing Security with the Least Refreshing.

Sonia Belaïd, Dahmun Goudarzi, Matthieu Rivain

Proceedings of the Advances in Cryptology - ASIACRYPT 2018, 2018

2017

Private Multiplication over Finite Fields.

Sonia Belaïd, Fabrice Benhamouda, Alain Passelègue, Emmanuel Prouff, Adrian Thillard, Damien Vergnaud

Proceedings of the Advances in Cryptology - CRYPTO 2017, 2017

2016

Randomness Complexity of Private Circuits for Multiplication.

Sonia Belaïd, Fabrice Benhamouda, Alain Passelègue, Emmanuel Prouff, Adrian Thillard, Damien Vergnaud

Proceedings of the Advances in Cryptology - EUROCRYPT 2016, 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, Rébecca Zucchini

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015

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

Sonia Belaïd

PhD thesis, 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

Proceedings of the Advances in Cryptology - EUROCRYPT 2015, 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

Proceedings of the Cryptographic Hardware and Embedded Systems - CHES 2015, 2015

Robust Pseudo-Random Number Generators with Input Secure Against Side-Channel Attacks.

Michel Abdalla, Sonia Belaïd, David Pointcheval, Sylvain Ruhault, Damien Vergnaud

Proceedings of the Applied Cryptography and Network Security, 2015

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

IACR Cryptol. ePrint Arch., 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

Proceedings of the E-Business and Telecommunications - 11th International Joint Conference, 2014

Side-Channel Analysis of Multiplications in GF(2128) - Application to AES-GCM.

Sonia Belaïd, Pierre-Alain Fouque, Benoît Gérard

Proceedings of the Advances in Cryptology - ASIACRYPT 2014, 2014

2013

Differential Power Analysis of HMAC SHA-2 in the Hamming Weight Model.

Sonia Belaïd, Luk Bettale, Emmanuelle Dottax, Laurie Genelle, Franck Rondepierre

Proceedings of the SECRYPT 2013, 2013

Leakage-Resilient Symmetric Encryption via Re-keying.

Michel Abdalla, Sonia Belaïd, Pierre-Alain Fouque

Proceedings of the Cryptographic Hardware and Embedded Systems - CHES 2013, 2013