Sonia Belaïd

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

Gilles Barthe, Sonia Belaïd, François Dupressoir et al. · 2016 · 216 citations

Engineering, Information Security, Verification +25

GALACTICS

Gilles Barthe, Sonia Belaïd, Thomas Espitau et al. · 2019 · 43 citations

Hardware Security, Bliss Signature Scheme, Cryptographic Primitive +15

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

Sonia Belaïd, Fabrizio De Santis, Johann Heyszl et al. · Journal of Cryptographic Engineering · 2014 · 32 citations · Full text

Hardware Security, Cryptographic Primitive, Cipher Design Principles +12

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

Sonia Belaïd, Vincent Grosso, François‐Xavier Standaert · Cryptography and Communications · 2014 · 28 citations · Full text

Hardware Security, Engineering, Information Security +8

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

Gilles Barthe, Sonia Belaïd, François Dupressoir et al. · IACR Cryptology ePrint Archive · 2015 · 27 citations