Sonia Belaïd

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

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

Computing, Computer Engineering, Computer Science +13

GALACTICS

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

Computing, Computer Engineering, Computer Science +13

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

Computing, Computer Engineering, Computer Science +14

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

Computing, Computer Science, Cybersecurity +12

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

Computing, Computer Engineering, Computer Science +12