> Offres de formation > Offres de thèses

Etude de mécanismes de restauration autonomes pour les systèmes embarqués

Défi technologique : Cybersécurité : hardware et software (en savoir +)

Département : Département Systèmes (LETI)

Laboratoire : Laboratoire des Systèmes Embarqués Sécurisés

Date de début : 01-09-2023

Localisation : Grenoble

Code CEA : SL-DRT-23-0475

Contact : pierre-henri.thevenon@cea.fr

Si les sujets autour des mécanismes de protection ou de détection de menaces sont actuellement bien couverts, la réparation après attaque est encore peu présente dans la littérature scientifique. Objectifs : L'objectif de cette thèse est d'identifier des solutions permettant de restaurer les fonctions ou tâches critiques d'un dispositif embarqué après la détection d'un événement non désiré (dû à une malveillance ou bien une défaillance logicielle ou matérielle). Depuis une vingtaine d'années, de nombreux travaux de recherche se sont focalisés sur la définition de solutions de restauration dans le domaine de la sûreté, l'application de ces techniques au domaine de la sécurité est plus récente, et encore peu de travaux adressent l'applicabilité de ces méthodes à ce domaine. Si les principes de restauration peuvent être identiques dans les domaines de la sûreté et de la sécurité, dans le cas d'action malveillante, il est en plus nécessaire de rendre le système de restauration robuste contre des tentatives de corruption par l'attaquant. En effet, celui-ci peut faire évoluer son attaque afin de leurrer le système de restauration ou bien même corrompre la restauration elle-même. Une des hypothèses de départ pris dans cette thèse est que le système possède déjà un ou plusieurs modules de détection d'événements anormaux. A partir de cet état anormal, la solution doit permettre la restauration du logiciel après avoir vérifié l'intégrité du bloc logiciel défaillant (rollback) grâce à une sauvegarde du contexte (checkpoint) à intervalles réguliers. Dans le cadre de cette thèse, l'étude portera uniquement sur des cibles embarquées de type processeurs intégrant un Linux embarqué mais devra être portable dans d'autres environnements

Voir toutes nos offres Télécharger l'offre (.zip)

Email Bookmark and Share