Microcontrôleur à flux chiffré d'instructions et de données

Résumé : Un nombre important et en constante augmentation de systèmes numériques nous entoure. Tablettes, smartphones et objets connectés ne sont que quelques exemples apparents de ces technologies omniprésentes, dont la majeure partie est enfouie, invisible à l'utilisateur. Les microprocesseurs, au cœur de ces systèmes, sont soumis à de fortes contraintes en ressources, sûreté de fonctionnement et se doivent, plus que jamais, de proposer une sécurité renforcée. La tâche est d'autant plus complexe qu'un tel système, par sa proximité avec l'utilisateur, offre une large surface d'attaque.Cette thèse, se concentre sur une propriété essentielle attendue pour un tel système, la confidentialité, le maintien du secret du programme et des données qu'il manipule. En effet, l'analyse du programme, des instructions qui le compose, est une étape essentielle dans la conception d'une attaque. D'autre part, un programme est amené à manipuler des données sensibles (clés cryptographiques, mots de passes, ...), qui doivent rester secrètes pour ne pas compromettre la sécurité du système.Cette thèse, se concentre sur une propriété essentielle attendue pour un tel système, la confidentialité, le maintien du secret du programme et des données qu'il manipule. Une première contribution de ces travaux est une méthode de chiffrement d'un code, basée sur le graphe de flot de contrôle, rendant possible l'utilisation d'algorithmes de chiffrement par flots, légers et efficaces. Protéger les accès mémoires aux données d'un programme s'avère plus complexe. Dans cette optique, nous proposons l'utilisation d'un chiffrement homomorphe pour chiffrer les données stockées en mémoire et les maintenir sous forme chiffrée lors de l'exécution des instructions. Enfin, nous présenterons l'intégration de ces propositions dans une architecture de processeur et les résultats d'évaluation sur logique programmable (FPGA) avec plusieurs programmes d'exemples.
Type de document :
Thèse
Informatique. Université Paris-Saclay, 2017. Français. 〈NNT : 2017SACLV074〉
Liste complète des métadonnées

Littérature citée [64 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-01736289
Contributeur : Abes Star <>
Soumis le : vendredi 16 mars 2018 - 17:11:07
Dernière modification le : dimanche 18 mars 2018 - 01:10:13

Fichier

75070_HISCOCK_2017_archivage.p...
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01736289, version 1

Citation

Thomas Hiscock. Microcontrôleur à flux chiffré d'instructions et de données. Informatique. Université Paris-Saclay, 2017. Français. 〈NNT : 2017SACLV074〉. 〈tel-01736289〉

Partager

Métriques

Consultations de la notice

244

Téléchargements de fichiers

150