Fiche de ABALIL Rizlane

Informations professionnelles


Statut: Doctorant en deuxième 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