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

Abstract : Differential power analysis (DPA) is a side-channel attack in which an adversary retrieves cryptographic material by measuring and analyzing the power consumption of the device on which the cryptographic algorithm under attack executes. An effective countermeasure against DPA is to mask secrets by probabilistically encoding them over a set of shares, and to run masked algorithms that compute on these encodings. Masked algorithms are often expected to provide, at least, a certain level of probing security. Leveraging the deep connections between probabilistic information flow and probing security, we develop a precise, scalable, and fully automated methodology to verify the probing security of masked algorithms, and generate them from unprotected descriptions of the algorithm. Our methodology relies on several contributions of independent interest, including a stronger notion of probing security that supports compositional reasoning, and a type system for enforcing an expressive class of probing policies. Finally, we validate our methodology on examples that go significantly beyond the state-of-the-art.
Type de document :
Communication dans un congrès
23rd ACM Conference on Computer and Communications Security , Oct 2016, Vienne, Austria. pp.116 - 129, 2016, 〈10.1145/2976749.2978427〉
Liste complète des métadonnées

Littérature citée [33 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01410216
Contributeur : Benjamin Gregoire <>
Soumis le : mardi 6 décembre 2016 - 15:16:29
Dernière modification le : jeudi 11 janvier 2018 - 16:36:44
Document(s) archivé(s) le : mardi 21 mars 2017 - 15:26:16

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, et al.. Strong Non-Interference and Type-Directed Higher-Order Masking. 23rd ACM Conference on Computer and Communications Security , Oct 2016, Vienne, Austria. pp.116 - 129, 2016, 〈10.1145/2976749.2978427〉. 〈hal-01410216〉

Partager

Métriques

Consultations de la notice

303

Téléchargements de fichiers

101