Informations professionnelles
Statut: Doctorant en première année
ED: EDITE
Unité de recherche: LRE
Equipe: MoVe
Date de debut de thèse: 6 décembre 2023 Directeur de thèse: Souheib BAARIR (LRE) Encadrant : Quentin PEYRAS (LRE) Encadrante : Ghada GHARBI (LRE) Sujet de thèse: Formal Verification of Security Policies for IoT protocols Thématique : Modèles de calcul, preuve, vérification
Equipe: MoVe
Date de debut de thèse: 6 décembre 2023 Directeur de thèse: Souheib BAARIR (LRE) Encadrant : Quentin PEYRAS (LRE) Encadrante : Ghada GHARBI (LRE) Sujet de thèse: Formal Verification of Security Policies for IoT protocols Thématique : Modèles de calcul, preuve, vérification