A Unified Formalism for Physical Attacks - Mines Saint-Étienne Access content directly
Other Publications Year : 2014

A Unified Formalism for Physical Attacks


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.
Fichier principal
Vignette du fichier
682.pdf (1.3 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

emse-01233335 , version 1 (24-11-2015)


  • HAL Id : emse-01233335 , version 1


Hélène Le Bouder, Ronan Lashermes, Yanis Linge, Bruno Robisson, Assia Tria. A Unified Formalism for Physical Attacks. 2014. ⟨emse-01233335⟩
223 View
291 Download


Gmail Mastodon Facebook X LinkedIn More