Sonia Belaïd

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

Collaborative distances:

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

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., March, 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

IACR Cryptol. ePrint Arch., 2024

2023

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

Sonia Belaïd, Matthieu Rivain

IACR Trans. Cryptogr. Hardw. Embed. Syst., 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

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

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

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

High Order Countermeasures for Elliptic-Curve Implementations with Noisy Leakage Security.

Sonia Belaïd, Matthieu Rivain

IACR Cryptol. ePrint Arch., 2021

IronMask: Versatile Verification of Masking Security.

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

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

IACR Cryptol. ePrint Arch., 2020

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

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

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

2018

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

Sonia Belaïd, Dahmun Goudarzi, Matthieu Rivain

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

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

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

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

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

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

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

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

Leakage-Resilient Symmetric Encryption via Re-keying.

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

IACR Cryptol. ePrint Arch., 2015

Masking and leakage-resilient primitives: One, the other(s) or both?

Sonia Belaïd, Vincent Grosso, François-Xavier Standaert

Cryptogr. Commun., 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

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