Description
Date depot: 1 octobre 2020
Titre: Optimisation de l’insertion de contre mesure pour la sécurité des Circuits Intégrés
Directrice de thèse:
Roselyne CHOTIN (LIP6)
Encadrante :
Lilia ZAOURAR (CEA)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Aide à la décision et recherche opérationnelle
Resumé:
Les Chevaux de Troie Matériels (CTM) sont des blocs malicieux insérés dans les Systèmes sur Puce (SoC) à l'insu du concepteur. Un SoC contaminé représente une menace sérieuse puisqu’il peut avoir un comportement non désiré allant de la fuite d'informations confidentielles au déni de service. Des méthodes de conception existent pour contrer ces CTMs, mais elles modifient l'architecture du SoC avec un impact important sur ses caractéristiques et performances.
Le projet ANR MOOSIC (Multi-Objective Optimised Synthesis to Improve Cybersecurity) propose de prendre en compte la lutte contre les CTMs au même titre que les autres caractéristiques lors de la conception, afin d'obtenir un bon compromis entre la sécurité et les performances.
Pour cela, il est envisagé tout d’abord d’établir et d’évaluer des propriétés de sécurité, puis de les intégrer dans l'étape de synthèse au moyen de techniques d’optimisation multi-objectif. Le SoC ainsi conçu permettra de lutter contre la cybercriminalité, sans surcoût important.
Le candidat devra proposer une modélisation mathématique complète du problème qui prend en charge l'ensemble des contraintes et objectifs (sécurité, surface, fréquence, consommation). Il devra ensuite proposer des algorithmes d’optimisation pour résoudre efficacement le problème d’insertion des contres mesures sur les critères conventionnels (temps, surface, consommation). Enfin, la méthodologie sera validée sur des cas d'usage en provenance du partenaire industriel. La thèse se déroulera au le CEA LIST LCE, encadrée par Lilia ZOURAR et sera dirigée par Roselyne CHOTIN LIP6/Sorbonne Université à Paris. Elle permettra d’approfondir la résolution du problème et d’effectuer des tests sur des exemples réels issus du partenaire industriel du projet.
Doctorant.e: Fontaine Jonathan