A Unified Formalism for Physical Attacks

Abstract : The security of cryptographic algorithms can be considered in two contexts. On the one hand, these algorithms can be proven secure mathematically. On the other hand, physical attacks can weaken the implementation of an algorithm yet proven secure. Under the common name of physical attacks, different attacks are regrouped: side channel attacks and fault injection attacks. This paper presents a common formalism for these attacks and highlights their underlying principles. All physical attacks on symmetric algorithms can be described with a 3-step process. Moreover it is possible to compare different physical attacks, by separating the theoretical attack path and the experimental parts of the attacks.
Type de document :
Autre publication
Technical report. 2014
Liste complète des métadonnées

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

https://hal-emse.ccsd.cnrs.fr/emse-01233335
Contributeur : Bruno Robisson <>
Soumis le : mardi 24 novembre 2015 - 22:30:20
Dernière modification le : mardi 10 avril 2018 - 01:17:48
Document(s) archivé(s) le : jeudi 25 février 2016 - 16:25:58

Fichier

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

Identifiants

  • HAL Id : emse-01233335, version 1

Collections

Citation

Hélène Le Bouder, Ronan Lashermes, Yanis Linge, Bruno Robisson, Assia Tria. A Unified Formalism for Physical Attacks. Technical report. 2014. 〈emse-01233335〉

Partager

Métriques

Consultations de la notice

114

Téléchargements de fichiers

167