https://www-verimag.imag.fr/ The Verimag Laboratory web site en SPIP - www.spip.net https://verimag.univ-grenoble-alpes.fr/These-Contre-mesures-logicielles.html https://verimag.univ-grenoble-alpes.fr/These-Contre-mesures-logicielles.html 2027-03-05T15:45:00Z text/html en Bruno Ferres axe_Pacs These CIFRE Ph.D phd jobs <p>Offre de thèse CIFRE (industrielle) en collaboration avec STMicroelectronics, sur la compilation sécurisante.</p> - <a href="https://verimag.univ-grenoble-alpes.fr/-Verimag-Jobs-and-Internships-.html" rel="directory">Jobs and Internships </a> / <a href="https://verimag.univ-grenoble-alpes.fr/+-axe_pacs-+.html" rel="tag">axe_Pacs</a>, <a href="https://verimag.univ-grenoble-alpes.fr/+-These-+.html" rel="tag">These</a>, <a href="https://verimag.univ-grenoble-alpes.fr/+-CIFRE-Ph-D-+.html" rel="tag">CIFRE Ph.D</a>, <a href="https://verimag.univ-grenoble-alpes.fr/+-phd-+.html" rel="tag">phd</a>, <a href="https://verimag.univ-grenoble-alpes.fr/+-jobs-+.html" rel="tag">jobs</a> <div class='rss_texte'><p>Offre de thèse CIFRE (industrielle) en collaboration avec STMicroelectronics, sur la compilation sécurisante.</p> <p>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.</p> <p>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.</p> <p>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).</p> <p>Pour plus de détail, voir le sujet détaillé en pièce-jointe.</p></div> 2026-03-18 17:11:10