Accéder directement au contenu Accéder directement à la navigation
Thèse

Compilation vérifiée et sécurisée contre les canaux cachés temporels

Résumé : Notre société est de plus en plus dépendante des systèmes informatiques. Assurer leur sécurité est essentiel pour éviter les conséquences dramatiques des attaques contre ces systèmes. Dans cette thèse, nous nous concentrons sur une classe d’attaques appelée attaques par canaux cachés temporels. Nous étudions les protections existantes contre ces attaques, telles que les politiques constant-time et constant-resource, et nous nous concentrons sur leur interaction avec la compilation. La compilation est le processus de transformation d’un programme écrit par un humain dans un langage source, en code machine exécutable par un ordinateur. Notre objectif est de s’assurer que la compilation n’introduit aucune vulnérabilité dans le code compilé, par rapport aux politiques de sécurité auxquelles nous nous intéressons ; c’est ce qu’on appelle la compilation sécurisée. Notre travail s’appuie également sur des méthodes formelles pour donner des garanties formelles sur les résultats que nous présentons. Une de nos contributions s’appuie sur le compilateur formellement vérifié CompCert. Tous les résultats présentés dans cette thèse sont également vérifiés mécaniquement en utilisant l’assistant de preuve Coq.
Type de document :
Thèse
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-03616445
Contributeur : ABES STAR :  Contact
Soumis le : mardi 22 mars 2022 - 15:15:10
Dernière modification le : vendredi 5 août 2022 - 14:54:52
Archivage à long terme le : : jeudi 23 juin 2022 - 19:32:31

Fichier

2021ENSR0029_HUTIN_Remi.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-03616445, version 1

Citation

Rémi Hutin. Compilation vérifiée et sécurisée contre les canaux cachés temporels. Cryptographie et sécurité [cs.CR]. École normale supérieure de Rennes, 2021. Français. ⟨NNT : 2021ENSR0029⟩. ⟨tel-03616445⟩

Partager

Métriques

Consultations de la notice

60

Téléchargements de fichiers

30