| 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 2024 [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 2024 |
|
| 2023 | Unifying Freedom and Separation for Tight Probing-Secure Composition. Sonia Belaïd, Gaëtan Cassiers, Matthieu Rivain, and Abdul Rahman Taleb. Crypto 2023 [ePrint] |
| High Order Side-Channel Security for Elliptic-Curve Implementations. Sonia Belaïd and Matthieu Rivain. TCHES 2023 [ePrint] |
|
| 2022 | IronMask: Versatile Verification of Masking Security. Sonia Belaïd, Darius Mercadier, Matthieu Rivain, and Abdul Rahman Taleb. S&P 2022 [ePrint] |
| 2021 | Dynamic Random Probing Expansion with Quasi Linear Asymptotic Complexity. Sonia Belaïd, Matthieu Rivain, Abdul Rahman Taleb, and Damien Vergnaud. Asiacrypt 2021 [ePrint] |
| On the Power of Expansion: More Efficient Constructions in the Random Probing Model. Sonia Belaïd, Matthieu Rivain, and Abdul Rahman Taleb. Eurocrypt 2021 [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 2020 [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 2020 [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 2019 [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 2019 [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 2018 [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 2018 [ePrint] |
|
| 2017 | Private Multiplication over Finite Fields. Sonia Belaïd, Fabrice Benhamouda, Alain Passelègue, Emmanuel Prouff, Adrian Thillard, and Damien Vergnaud. Crypto 2017 [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 2016 [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 2016 [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 2015 [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 2015 [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 2015 [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 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, 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 2013 [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 2013 [PDF] |
|
| 22-10-2015 | Security of Cryptosystems Against Power-Analysis Attacks Sonia Belaïd. [PDF] |
© 2024 Sonia Belaïd. Tous droits réservés.