Porteur du projet
CASSIDIANPartenaires
GEMALTO, SECURE IC, ENSMSE, Telecom ParisTech, CEA LETI, Université de MontpellierFinanceurs
FUI,HOMERE
Hardware TrOjans : Menaces et robustEsse des ciRcuits intEgrés
De nos jours, pour des raisons économiques, la plupart des circuits integrés (CI) sont conçus, fabriqués et testés dans des pays étrangers. Ainsi, sécuriser la chaîne globale de fabrication des CIs est une tâche difficile : rien ne peut empêcher l’insertion de modifications frauduleuses dans les CI, appelées Hardware Trojans (HT), au cours d’une ou de plusieurs étapes de fabrication d’un CI . Ces modifications provoquent des altérations du comportement fonctionnel d’un CI qui peuvent potentiellement conduire à des conséquences catastrophiques lorsque ce CI est embarqué dans des applications critiques telles que l’avionique, le spatial, le militaire, les communications, l’industrie, le nucléaire, etc.
Des méthodes de détection de HT destructives et non-destructives ont été proposées dans la littérature, mais aucune n’est pleinement satisfaisante aujourd’hui. Le projet HOMERE (Hardware Trojans : Menaces et robustEsse des ciRcuits IntEgrés) est un projet de recherche industriel qui a pour but de développer des techniques assurant la confiance dans les CI fabriqués dans des fonderies non-dignes de confiance. HOMERE se focalisera sur la recherche de nouvelles méthodes non-destructives de détection, et sur l’amélioration de méthodes connues. Nous testerons l’efficacité de ces nouvelles méthodes sur des circuits tests représentatifs de ceux utilisés par les partenaires du projet HOMERE (processeurs généralistes et cryptographiques, cartes à puces). Nous prototyperons nos solutions sur circuit programmable (Field Programmable Gate Array, FPGA). HOMERE proposera également des méthodes de conception de CIs permettant de faciliter la neutralisation de HTs.