Skip to Main content Skip to Navigation
Journal articles

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

Abstract : Refreshing algorithms are a critical ingredient for secure masking. They are instrumental in enabling sound composability properties for complex circuits, and their randomness requirements dominate the performance overheads in (very) high-order masking. In this paper, we improve a proposal of mask refreshing algorithms from EUROCRYPT 2017, that has excellent implementation properties in software and hardware, in two main directions. First, we provide a generic proof that this algorithm is secure at arbitrary orders – a problem that was left open so far. We introduce Parametrized Non-Interference as a new technical ingredient for this purpose, that may be of independent interest. Second, we use automated tools to further explore the design space of such algorithms and provide the best known parallel mask refreshing gadgets for concretely relevant security orders. Incidentally, we also prove the security of a recent proposal of mask refreshing with improved resistance against horizontal attacks from CHES 2017.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-03133221
Contributor : Benjamin Gregoire Connect in order to contact the contributor
Submitted on : Monday, February 8, 2021 - 10:13:12 AM
Last modification on : Wednesday, November 3, 2021 - 5:29:59 AM
Long-term archiving on: : Sunday, May 9, 2021 - 6:14:21 PM

File

505.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, et al.. Improved parallel mask refreshing algorithms: generic solutions with parametrized non-interference and automated optimizations. Journal of Cryptographic Engineering, Springer, 2020, 10 (1), pp.17-26. ⟨10.1007/s13389-018-00202-2⟩. ⟨hal-03133221⟩

Share

Metrics

Les métriques sont temporairement indisponibles