[Sujet de thèse] Vérification de propriétés temporisés liées à la cybersécurité à l’aide des méthodes formelles

 

 

Superviseurs :

Engel Lefaucheux et Étienne André

1 Information générale

Adresse :  LORIA
Campus Scientifique- BP 239, 54506 Vandœuvre-lès-Nancy

Email : Etienne.Andre@loria.fr
Bureau : B 210

Email : Engel.Lefaucheux@loria.fr
Bureau B 235

La thèse sera réalisée au sein de l’équipe Inria VeriDis au Loria (Université de Lorraine, Nancy, France).

 

2 Détails du sujet

Verifying timed cybersecurity properties using formal methods