A Unified Formalism for Physical Attacks
Hélène Le Bouder, Ronan Lashermes, Yanis Linge, Bruno Robisson, Assia Tria, Département Systèmes Et Architectures Sécurisés · 2014
Abstract. The security of cryptographic algorithms can be considered in two contexts. On the one hand, these algorithms can be proven se-cure 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 for-malism 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.