Vérification formelle de couches de confiance dans les logiciels : application à la TPM Software Stack
Ecole doctorale : Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes – MIPTIS
Unité de recherche : LIFO – Laboratoire d’Informatique Fondamentale d’Orléans
Soutenance prévue le jeudi 09 octobre 2025 à 14h00
Lieu : Thales Research & Technology 1 Avenue Augustin Fresnel, 91120 Palaiseau
Salle : Auditorium