Description
Date depot: 30 mars 2023
Titre: Renforcement de la securite de composants "open source" à l'interface entre le matériel et le logiciel
Directeur de thèse:
Aurelien FRANCILLON (Eurecom)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Systèmes et architectures intégrés matériel-logiciel
Resumé: L'objectif de la recherche est d'aborder les problématiques de sécurité qui découlent de potentielles
faiblesses du matériel et du logiciel, mais surtout, de l'interaction entre ces deux. Pour ce faire, l'objectif
est d'expérimenter sur les nouvelles architectures "open source" de processeur et d'implémentations
de systèmes complets. Actuellement, la présente thèse s'oriente sur plusieurs axes proposés, mais elle
ne se limite pas strictement à ceux-ci. La première proposition consiste à étudier de nouveaux
mécanismes d'électroniques numérique ou des procédés de fabrication de circuits imprimés afin de
minimiser l'impact des attaques matérielles telles que le la rétro-ingénierie et l'extraction de secrets par
sondage ainsi que l'injection de fautes. Un autre axe potentiel concerne la mise au point de
mécanismes matériels permettant le renforcement de sécurité et d'analyse logiciel. Enfin, les travaux
de recherche peuvent également se concentrer sur de nouvelles approches de vérification
fonctionnelle pour des composants complexes et mixtes afin de relever les limitations actuelles des
techniques actuelles basées sur la simulation et l'émulation.
Résumé dans une autre langue: The research focus is on addressing security issues that arise from weaknesses in hardware and
software, but especially at the interaction of both. To do so, the goal is to experiment on nowadays
open-source processor architectures and full system implementations. Currently, the thesis can be
directed on several proposed axes, but it will not be strictly limited to those. The first proposal is about
studying new logic mechanisms or lower-level manufacturing approaches to minimize impact hardware
attacks such as direct probing and fault injections. Another line of research security encompasses the
security enforcement mechanisms and software testing techniques that could be hardware enabled or
enhanced. Finally, the research can propose novel approach computer-aided functional verification of
mixed hardware and software components to address technical and computational challenges of the
current state-of-the-art techniques based on simulation and emulation.
Doctorant.e: Hernandez Aurélien