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 (tracing LLVM, issu de la thèse de Sébastien Michelland), et également dans la lignée des travaux de STMicroelectronics sur le développement d'un compilateur sécurisé de bout-en-bout (Secswift)
Le ou la doctorante interagira avec les encadrants académiques et industriels afin de développer des contre-mesures flot de données sûres et performantes.
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).
Plus de détails sont disponibles ici: https://www-verimag.imag.fr/These-Contre-mesures-logicielles.html
