Date : Jeudi 9 octobre 2025

Lieu : Thalès Research & Technology : salle Auditorium

Titre : Vérification formelle de couches de confiance dans les logiciels : application à la TPM Software Stack