Skip to Main content Skip to Navigation
Theses

Towards a better formalisation of the side-channel threat

Résumé : Dans le cadre de la sécurité des systèmes embarqués, il est nécessaire de connaître les attaques logicielles et physiques pouvant briser la sécurité de composants cryptographiques garantissant l’intégrité, la fiabilité et la confidentialité des données. Etant donné que les algorithmes utilisés aujourd’hui comme Advanced Encryption Standard (AES) sont considérés comme résistants contre la cryptanalyse linéaire et différentielle, d’autres méthodes plus insidieuses sont utilisées pour récupérer les secrets de ces composants. En effet, la clé secrète utilisée pour le chiffrement de données peut fuiter pendant l’algorithme. Il est ainsi possible de mesurer cette fuite et de l’exploiter. Cette technique est appelée attaque par canal auxiliaire.Le principal objectif de ce manuscrit de thèse est de consolider les connaissances théoriques sur ce type de menace. Pour cela, nous appliquons des résultats de théorie de l’information à l’ étude par canal auxiliaire. Nous montrons ainsi comment il est possible de comparer un modèle de fuite par canal auxiliaire à un modèle de transmission de l’information. Dans un premier temps, nous montrons que la sécurité d’un composant est fortement dépendante du rapport signal à bruit de la fuite. Ce résultat a un impact fort car il ne dépend pas de l’attaque choisie. Lorsqu’un designer équipe son produit, il ne connaît pas encore la manière dont son système embarqué pourra être attaque plusieurs années plus tard. Les outils mathématiques proposés dans ce manuscrit pourront aider les concepteurs à estimer le niveau de fiabilité de leurs puces électroniques.
Document type :
Theses
Complete list of metadatas

Cited literature [99 references]  Display  Hide  Download

https://pastel.archives-ouvertes.fr/tel-02050017
Contributor : Abes Star :  Contact
Submitted on : Tuesday, February 26, 2019 - 5:53:05 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:39 PM
Document(s) archivé(s) le : Monday, May 27, 2019 - 3:28:35 PM

File

74182_DE_CHERISEY_2018_archiva...
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-02050017, version 1

Citation

Eloi De Cherisey. Towards a better formalisation of the side-channel threat. Embedded Systems. Université Paris-Saclay, 2018. English. ⟨NNT : 2018SACLT016⟩. ⟨tel-02050017⟩

Share

Metrics

Record views

219

Files downloads

222