Sonia Belaïd

PROFILE

Homepage
No homepage is listed.
ORCID
No ORCID is listed.
Affiliations
No affiliations are listed.
Aliases
No aliases are listed.
Publication record
38 papers · 1,389 citations · H-index 19

PAPERS

ML-DSA masking sweetened with SUCRE: Shuffle-and-Unmask Countermeasure for REjection sampling
20260 citationsauthor #1
Masked Circuit Compiler in the Cardinal Random Probing Composability Framework
20251 citationsauthor #1
New Techniques for Random Probing Security and Application to Raccoon Signature Scheme
20254 citationsauthor #1
PERSEUS - Probabilistic Evaluation of Random probing SEcurity Using efficient Sampling
20250 citationsauthor #1
Further Improvements in AES Execution over TFHE: Towards Breaking the 1 sec Barrier
202510 citationsauthor #1
Transistor: a TFHE-friendly Stream Cipher
20259 citationsauthor #2
SoK: A Methodology to Achieve Provable Side-Channel Security in Real-World Implementations
20255 citationsauthor #1
Formal Definition and Verification for Combined Random Fault and Random Probing Security
20249 citationsauthor #1
Unifying Freedom and Separation for Tight Probing-Secure Composition
20235 citationsauthor #1
Towards Achieving Provable Side-Channel Security in Practice
20233 citationsauthor #1
High Order Side-Channel Security for Elliptic-Curve Implementations
20225 citationsauthor #1
IronMask: Versatile Verification of Masking Security
202229 citationsauthor #1
High Order Countermeasures for Elliptic-Curve Implementations with Noisy Leakage Security
20210 citationsauthor #1
On the Power of Expansion: More Efficient Constructions in the Random Probing Model
202123 citationsauthor #1
Dynamic Random Probing Expansion with Quasi Linear Asymptotic Complexity
202118 citationsauthor #1
Tornado: Automatic Generation of Probing-Secure Masked Bitsliced Implementations
202056 citationsauthor #1
Smart Card Research and Advanced Applications: 18th International Conference, CARDIS 2019, Prague, Czech Republic, November 11–13, 2019, Revised Selected Papers
20200 citationsauthor #1
Random Probing Security: Verification, Composition, Expansion and New Constructions
202041 citationsauthor #1
maskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults
201992 citationsauthor #2
GALACTICS: Gaussian Sampling for Lattice-Based Constant- Time Implementation of Cryptographic Signatures, Revisited
201937 citationsauthor #2
Improved parallel mask refreshing algorithms: generic solutions with parametrized non-interference and automated optimizations
201919 citationsauthor #2
maskVerif: a formal tool for analyzing software and hardware masked implementations
201819 citationsauthor #2
Tight Private Circuits: Achieving Probing Security with the Least Refreshing
201865 citationsauthor #1
Masking the GLP Lattice-Based Signature Scheme at Any Order
201868 citationsauthor #2
Private Multiplication over Finite Fields
201740 citationsauthor #1
Strong Non-Interference and Type-Directed Higher-Order Masking
2016294 citationsauthor #2
Randomness Complexity of Private Circuits for Multiplication
2016110 citationsauthor #1
Masking and leakage-resilient primitives: One, the other(s) or both?
201544 citationsauthor #1
Improved Side-Channel Analysis of Finite-Field Multiplication
201540 citationsauthor #1
Verified Proofs of Higher-Order Masking
2015179 citationsauthor #2
Compositional Verification of Higher-Order Masking: Application to a Verifying Masking Compiler
201531 citationsauthor #2
Security of cryptosystems against power-analysis attacks
20150 citationsauthor #1
Robust Pseudo-Random Number Generators with Input Secure Against Side-Channel Attacks
201513 citationsauthor #2
Side-Channel Analysis of Multiplications in GF(2128) - Application to AES-GCM
201438 citationsauthor #1
Differential Power Analysis of HMAC SHA-1 and HMAC SHA-2 in the Hamming Weight Model
20145 citationsauthor #1
Towards fresh re-keying with leakage-resilient PRFs: cipher design principles and analysis
201437 citationsauthor #1
Masking and leakage-resilient primitives: One, the other(s) or both?
20142 citationsauthor #1
Leakage-Resilient Symmetric Encryption via Re-keying
201335 citationsauthor #2

TIMELINE

2013 35 citations

2014 82 citations

2015 307 citations

2016 404 citations

2017 40 citations

2018 152 citations

2019 148 citations

2020 97 citations

2021 41 citations

2022 34 citations

2023 8 citations

2024 9 citations

2025 29 citations

2026 0 citations

Sonia Belaïd

PROFILE

PAPERS

TIMELINE

COAUTHOR MAP

CONCEPT FOOTPRINT