Offre de thèse CIFRE (industrielle) en collaboration avec STMicroelectronics, sur la compilation sécurisante.
Cette thèse s’inscrit dans la lignée des travaux académiques menés à Verimag/LCIS sur l’instrumentation du compilateur LLVM pour l’ajout de contre-mesure de sécurité contre l’injection de fautes, et également dans la lignée des travaux de STMicroelectronics sur le développement d’un compilateur sécurisé de bout-en-bout.
Le ou la doctorante interagira avec les encadrants académiques et industriels afin de développer, à terme, un outil de compilation de bout-en-bout permettant de sécuriser des programmes s’exécutant en présence d’adversaires.
Cette thèse sera co-encadrée par Laure Gonnord (Professeure des Universités Grenoble INP - Esisar, UGA / LCIS), Bruno Ferres (Maître de Conférences UGA/Verimag) ainsi que François de Ferrière et Yves Janin (STMicroelectronics).
Pour plus de détail, voir le sujet détaillé en pièce-jointe.
