Assas Recherche | Mécanisme de sécurité contre les attaques temporelles via une coopération entre logiciel et matériel embarqué

Mécanisme de sécurité contre les attaques temporelles via une coopération entre logiciel et matériel embarqué (Document en Anglais)

Accès au(x) document(s)

Accéder au(x) document(s) :

Ce document est protégé en vertu du Code de la Propriété Intellectuelle.

Modalités de diffusion de la thèse :

Thèse consultable sur internet, en texte intégral.

Informations sur les contributeurs

Auteur : Hatchikian-Houdot Jean-Loup

Hatchikian-Houdot, Jean-Loup

Nom

Hatchikian-Houdot

Prénom

Jean-Loup

Nationalité

Français

Date de soutenance : 16-12-2024

Directeur(s) de thèse : Hiet Guillaume

Hiet, Guillaume

Nom

Hiet

Prénom

Guillaume

Etablissement de soutenance : Université de Rennes (2023-....)

Université de Rennes (2023-....)

Nom

Université de Rennes (2023-....)

Laboratoire : IRISA

IRISA

Nom

IRISA

- Institut de recherche en informatique et systèmes aléatoires (Rennes)

Institut de recherche en informatique et systèmes aléatoires (Rennes)

Nom

Institut de recherche en informatique et systèmes aléatoires (Rennes)

- SUSHI

SUSHI

Nom

SUSHI

Ecole doctorale : MATISSE

MATISSE

Nom

MATISSE

Informations générales

Discipline : Informatique
Classification : Informatique

Mots-clés libres : Coopération matériel/logiciel, Attaques temporelles contre le cache, Programmation temps constant
Mots-clés :

Systèmes informatiques -- Mesures de sûreté
Systèmes embarqués (informatique)

Résumé : La programmation temps constant est utilisée pour produire des programmes immunisés contre les attaques temporelles. Cependant, cette discipline impose plusieurs contraintes au développeur de logiciels, ce qui rend la mise en œuvre complexe et les programmes résultants parfois plus lents. Nous proposons un nouveau mécanisme de protection spécialisé pour les systèmes embarqués qui est implémenté dans le matériel mais utilisable à partir du logiciel. Grâce à cette protection, les contraintes de la programmation temps constant peuvent être assouplies, ce qui rend cette discipline plus simple et permet de produire des programmes plus rapides. Cette protection fonctionne en verrouillant des parties de la mémoire dans le cache, de sorte que les accès vers ces parties de la mémoire soient protégés contre les attaques temporelles. Nous réutilisons les techniques de preuve utilisées pour certifier le compilateur CompCert. Dans notre cas, nous l'utilisons pour certifier qu'aucune attaque par cache ne peut exposer nos accès mémoire protégés. Nous montrons le gain de performance permis par notre nouvelle protection sur plusieurs algorithmes cryptographiques, et nous proposons une nouvelle méthode de tri rapide qui est temps constant grâce ce mécanisme de verrouillage du cache.

Informations techniques

Type de contenu : Text
Format : PDF

Informations complémentaires

Entrepôt d'origine :

STAR : dépôt national des thèses électroniques françaises

Identifiant : 2024URENS101
Type de ressource : Thèse

Fiche descriptive