Sonia Belad
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
9
Active years
2013–2026
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | EuroCrypt | PERSEUS - Probabilistic Evaluation of Random Probing SEcurity Using Efficient Sampling. | Sonia Belad, Gatan Cassiers |
| 2025 | ASIACRYPT | Masked Circuit Compiler in the Cardinal Random Probing Composability Framework. | Sonia Belad, Victor Normand, Matthieu Rivain |
| 2025 | CRYPTO | Transistor: a TFHE-Friendly Stream Cipher. | Jules Baudrin, Sonia Belad, Nicolas Bon, Christina Boura, Anne Canteaut, Gatan Leurent, Pascal Paillier, Lo Perrin, Matthieu Rivain, Yann Rotella, Samuel Tap |
| 2025 | EuroCrypt | New Techniques for Random Probing Security and Application to Raccoon Signature Scheme. | Sonia Belad, Matthieu Rivain, Mlissa Rossi |
| 2024 | ASIACRYPT | Formal Definition and Verification for Combined Random Fault and Random Probing Security. | Sonia Belad, Jakob Feldtkeller, Tim Gneysu, Anna Guinet, Jan Richter-Brockmann, Matthieu Rivain, Pascal Sasdrich, Abdul Rahman Taleb |
| 2023 | CRYPTO | Unifying Freedom and Separation for Tight Probing-Secure Composition. | Sonia Belad, Gatan Cassiers, Matthieu Rivain, Abdul Rahman Taleb |
| 2022 | SP | IronMask: Versatile Verification of Masking Security. | Sonia Belad, Darius Mercadier, Matthieu Rivain, Abdul Rahman Taleb |
| 2021 | ASIACRYPT | Dynamic Random Probing Expansion with Quasi Linear Asymptotic Complexity. | Sonia Belad, Matthieu Rivain, Abdul Rahman Taleb, Damien Vergnaud |
| 2021 | EuroCrypt | On the Power of Expansion: More Efficient Constructions in the Random Probing Model. | Sonia Belad, Matthieu Rivain, Abdul Rahman Taleb |
| 2020 | CRYPTO | Random Probing Security: Verification, Composition, Expansion and New Constructions. | Sonia Belad, Jean-Sbastien Coron, Emmanuel Prouff, Matthieu Rivain, Abdul Rahman Taleb |
| 2020 | EuroCrypt | Tornado: Automatic Generation of Probing-Secure Masked Bitsliced Implementations. | Sonia Belad, Pierre-variste Dagand, Darius Mercadier, Matthieu Rivain, Raphal Wintersdorff |
| 2019 | CCS | GALACTICS: Gaussian Sampling for Lattice-Based Constant- Time Implementation of Cryptographic Signatures, Revisited. | Gilles Barthe, Sonia Belad, Thomas Espitau, Pierre-Alain Fouque, Mlissa Rossi, Mehdi Tibouchi |
| 2019 | ESORICS | maskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults. | Gilles Barthe, Sonia Belad, Gatan Cassiers, Pierre-Alain Fouque, Benjamin Grgoire, Franois-Xavier Standaert |
| 2018 | ASIACRYPT | Tight Private Circuits: Achieving Probing Security with the Least Refreshing. | Sonia Belad, Dahmun Goudarzi, Matthieu Rivain |
| 2018 | EuroCrypt | Masking the GLP Lattice-Based Signature Scheme at Any Order. | Gilles Barthe, Sonia Belad, Thomas Espitau, Pierre-Alain Fouque, Benjamin Grgoire, Mlissa Rossi, Mehdi Tibouchi |
| 2017 | CRYPTO | Private Multiplication over Finite Fields. | Sonia Belad, Fabrice Benhamouda, Alain Passelgue, Emmanuel Prouff, Adrian Thillard, Damien Vergnaud |
| 2016 | CCS | Strong Non-Interference and Type-Directed Higher-Order Masking. | Gilles Barthe, Sonia Belad, Franois Dupressoir, Pierre-Alain Fouque, Benjamin Grgoire, Pierre-Yves Strub, Rbecca Zucchini |
| 2016 | EuroCrypt | Randomness Complexity of Private Circuits for Multiplication. | Sonia Belad, Fabrice Benhamouda, Alain Passelgue, Emmanuel Prouff, Adrian Thillard, Damien Vergnaud |
| 2015 | ACNS | Robust Pseudo-Random Number Generators with Input Secure Against Side-Channel Attacks. | Michel Abdalla, Sonia Belad, David Pointcheval, Sylvain Ruhault, Damien Vergnaud |
| 2015 | CHES | Improved Side-Channel Analysis of Finite-Field Multiplication. | Sonia Belad, Jean-Sbastien Coron, Pierre-Alain Fouque, Benot Grard, Jean-Gabriel Kammerer, Emmanuel Prouff |
| 2015 | EuroCrypt | Verified Proofs of Higher-Order Masking. | Gilles Barthe, Sonia Belad, Franois Dupressoir, Pierre-Alain Fouque, Benjamin Grgoire, Pierre-Yves Strub |
| 2014 | ASIACRYPT | Side-Channel Analysis of Multiplications in GF(2128) - Application to AES-GCM. | Sonia Belad, Pierre-Alain Fouque, Benot Grard |
| 2013 | CHES | Leakage-Resilient Symmetric Encryption via Re-keying. | Michel Abdalla, Sonia Belad, Pierre-Alain Fouque |
| 2013 | SECRYPT | Differential Power Analysis of HMAC SHA-2 in the Hamming Weight Model. | Sonia Belad, Luk Bettale, Emmanuelle Dottax, Laurie Genelle, Franck Rondepierre |