International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Vincent Grosso

Affiliation: CNRS/Laboratory Hubert Curien

Publications

Year
Venue
Title
2018
EUROCRYPT
2018
TCHES
Composable Masking Schemes in the Presence of Physical Defaults & the Robust Probing Model
Composability and robustness against physical defaults (e.g., glitches) are two highly desirable properties for secure implementations of masking schemes. While tools exist to guarantee them separately, no current formalism enables their joint investigation. In this paper, we solve this issue by introducing a new model, the robust probing model, that is naturally suited to capture the combination of these properties. We first motivate this formalism by analyzing the excellent robustness and low randomness requirements of first-order threshold implementations, and highlighting the difficulty to extend them to higher orders. Next, and most importantly, we use our theory to design and prove the first higher-order secure, robust and composable multiplication gadgets. While admittedly inspired by existing approaches to masking (e.g., Ishai-Sahai-Wagner-like, threshold, domain-oriented), these gadgets exhibit subtle implementation differences with these state-of-the-art solutions (none of which being provably composable and robust). Hence, our results illustrate how sound theoretical models can guide practically-relevant implementations.
2016
CHES
2016
CHES
2015
EPRINT
2015
EPRINT
2015
FSE
2015
ASIACRYPT
2014
EPRINT
2014
EPRINT
2014
EPRINT
2014
FSE
2013
CHES
2013
CHES

Program Committees

CHES 2019