HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information

# Formalism for physical attacks

Abstract : Security is a key component for information technologies and communication. Among the security threats, a very important one is certainly due to vulnerabilities of the integrated circuits that implement cryptographic algorithms to ensure confidentiality, authentication or data integrity (such as smartcards). Among them, the attacks that require a physical access to the circuit, also called “hardware attacks”, enable to retrieve the cryptographic material (such as keys'') in a really efficient and powerful way. There are two main kinds of such attacks. The first one, called “side channel attacks”, consists in observing some physical characteristics (such as power consumption or electromagnetic radiation) which are modified during the circuit's computation. The second technique, called “fault attacks”, consists in disrupting the circuit's behavior. Our work is, to our knowledge, the first attempt to describe these two kinds of attacks, which seem very different at first sight, with a common formalism, i.e. with a small set of concepts and algorithms.In the first part of the talk, the side channel and fault attacks will be shortly presented. Next, the concepts and the algorithms which are common to these attacks will be detailed. Then, we’ll show that our proposed formalism easily fits with several representative examples (such as DPA, DFA, DBA, FSA, etc.). At last, the perspectives of our work will be highlighted. For example, we plan to define new'' attacks as new combinations of the concepts and the algorithms of our formalism. Then, we plan to provide efficient and modular implementation of these attacks. The long-term aim of this work is to merge the advantages of attack-specific protections to enable a more generic set of countermeasures.
Document type :
Conference papers
Domain :

https://hal-cea.archives-ouvertes.fr/cea-01094244
Contributor : Bruno Robisson Connect in order to contact the contributor
Submitted on : Thursday, December 18, 2014 - 9:09:44 PM
Last modification on : Wednesday, June 24, 2020 - 4:18:22 PM

### Identifiers

• HAL Id : cea-01094244, version 1

### Citation

Hélène Le Bouder, Bruno Robisson, A. Tria. Formalism for physical attacks. Chip to cloud security forum, Sep 2013, nice, France. ⟨cea-01094244⟩

Record views