Offres de Thèses, Stages et Post-docs

nombre d'offres : 1

Optimisation de l’insertion de contre mesure pour la sécurité des Circuits Intégrés

Mail Sélection

Date de début : 1 octobre 2019

Offre n° SL-DRT-20-0836

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, une validation de la méthodologie sur des premiers exemples simples est envisagée. Le stage se déroulera au LIP6/Sorbonne Université à Paris et sera co-encadré avec le CEA LIST.

Une poursuite en thèse est envisagée. Elle permettra d’approfondir la résolution du problème et d’effectuer des tests sur des exemples réels issus de partenaire industriel du projet

  • Mots clés : Défis technologiques, Sciences pour l'ingénieur, Cybersécurité: hardware et software, Informatique et logiciels, DACLE, Leti
  • Laboratoire : DACLE / Leti
  • Code CEA : SL-DRT-20-0836
  • Contact : lilia.zaourar@cea.fr
En naviguant sur notre site, vous acceptez que des cookies soient utilisés pour vous proposer des contenus et services adaptés à vos centres d’intérêts. En savoir plus
X