Sonia Belaïd

发表

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

Luk Bettale, Sonia Belaïd, Emmanuelle Dottax, 2014, ICETE.

Smart Card Research and Advanced Applications: 18th International Conference, CARDIS 2019, Prague, Czech Republic, November 11–13, 2019, Revised Selected Papers

Tim Güneysu, Sonia Belaïd, T. Güneysu, 2020, CARDIS.

Masking the GLP Lattice-Based Signature Scheme at Any Order

Mehdi Tibouchi, Benjamin Grégoire, Gilles Barthe, 2018, EUROCRYPT.

Tight Private Circuits: Achieving Probing Security with the Least Refreshing

Sonia Belaïd, Matthieu Rivain, Dahmun Goudarzi, 2018, IACR Cryptol. ePrint Arch..

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

Emmanuel Prouff, Abdul Rahman Taleb, Sonia Belaïd, 2020, IACR Cryptol. ePrint Arch..

Randomness Complexity of Private Circuits for Multiplication

Adrian Thillard, Fabrice Benhamouda, Emmanuel Prouff, 2016, EUROCRYPT.

Leakage-Resilient Symmetric Encryption via Re-keying

Pierre-Alain Fouque, Michel Abdalla, Sonia Belaïd, 2013, CHES.

Private Multiplication over Finite Fields

Adrian Thillard, Fabrice Benhamouda, Emmanuel Prouff, 2017, CRYPTO.

Towards fresh re-keying with leakage-resilient PRFs: cipher design principles and analysis

Stefan Mangard, François-Xavier Standaert, Johann Heyszl, 2014, Journal of Cryptographic Engineering.

maskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults

Benjamin Grégoire, François-Xavier Standaert, Pierre-Alain Fouque, 2019, ESORICS.

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

François-Xavier Standaert, Sonia Belaïd, Vincent Grosso, 2015, Cryptography and Communications.

Strong Non-Interference and Type-Directed Higher-Order Masking

Benjamin Grégoire, Gilles Barthe, Pierre-Yves Strub, 2016, CCS.

Improved parallel mask refreshing algorithms: generic solutions with parametrized non-interference and automated optimizations

Benjamin Grégoire, Gilles Barthe, Pierre-Yves Strub, 2019, Journal of Cryptographic Engineering.

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

Sonia Belaïd, 2015 .

Improved Side-Channel Analysis of Finite-Field Multiplication

Jean-Sébastien Coron, Emmanuel Prouff, Pierre-Alain Fouque, 2015, CHES.

maskVerif: a formal tool for analyzing software and hardware masked implementations

Benjamin Grégoire, Gilles Barthe, Pierre-Alain Fouque, 2018, IACR Cryptol. ePrint Arch..

Compositional Verification of Higher-Order Masking: Application to a Verifying Masking Compiler

Benjamin Grégoire, Gilles Barthe, François Dupressoir, 2015, IACR Cryptol. ePrint Arch..

GALACTICS: Gaussian Sampling for Lattice-Based Constant- Time Implementation of Cryptographic Signatures, Revisited

Mehdi Tibouchi, Gilles Barthe, Thomas Espitau, 2019, IACR Cryptol. ePrint Arch..

Verified Proofs of Higher-Order Masking

Benjamin Grégoire, Gilles Barthe, Pierre-Yves Strub, 2015, EUROCRYPT.

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

David Pointcheval, Michel Abdalla, Sonia Belaïd, 2015, IACR Cryptol. ePrint Arch..

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

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

Differential power analysis of HMAC SHA-2 in the Hamming weight model

Luk Bettale, Sonia Belaïd, Emmanuelle Dottax, 2013, 2013 International Conference on Security and Cryptography (SECRYPT).

Security of cryptosystems against power-analysis attacks

Sonia Belaïd, Sonia Belaïd, 2015 .

On the Power of Expansion: More Efficient Constructions in the Random Probing Model

Abdul Rahman Taleb, Sonia Belaïd, Matthieu Rivain, 2021, IACR Cryptol. ePrint Arch..

Dynamic Random Probing Expansion with Quasi Linear Asymptotic Complexity

Abdul Rahman Taleb, Sonia Belaïd, Matthieu Rivain, 2021, IACR Cryptol. ePrint Arch..

IronMask: Versatile Verification of Masking Security

Abdul Rahman Taleb, Sonia Belaïd, Matthieu Rivain, 2022, 2022 IEEE Symposium on Security and Privacy (SP).

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

Sonia Belaïd, Matthieu Rivain, Matthieu Rivain, 2021, IACR Cryptol. ePrint Arch..

Tornado: Automatic Generation of Probing-Secure Masked Bitsliced Implementations

Pierre-Évariste Dagand, Sonia Belaïd, Matthieu Rivain, 2020, EUROCRYPT.