Description
Date depot: 24 juillet 2023
Titre: Formal Verification of Security Policies for IoT protocols
Directeur de thèse:
Souheib BAARIR (LRE)
Encadrant :
Quentin PEYRAS (LRE)
Encadrante :
Ghada GHARBI (LRE)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Modèles de calcul, preuve, vérification
Resumé: This PhD thesis aims to verify hyperproperties that describe security policies for infinite-state systems. Unlike classical properties that focus on a single execution trace, hyperproperties consider properties across sets of traces. Although verifying classical properties for infinite-state systems has been extensively researched, this thesis explores the feasibility of extending existing methods to cover hyperproperties.
Doctorant.e: Abalil Rizlane