Recherche
Thèmes de recherche :
Politiques de sécurité et recherche de vulnérabilités
Sûreté
de développement du logiciel
Intégration de
méthodes formelles et semi-formelles
Multi-modélisation,
méta-modélisation & transformation de
modèles
Aide à la validation de
spécifications
Produits issus de mes travaux
Participation à des projets de recherche :
ERTMS régional (IRT Railenium, 2015/2019) : solutions d’exploitation pour les lignes de desserte fine du territoire.
DELISS (Alpes Grenoble Innovation Recherche, 2015/2016) : Déploiement validé de politiques de Sécurité en systèmes d'Information.
SELKIS (projet ANR) : A development method of secure health care networks information systems : from requirements engineering to implementation.
EDEMOI (ANR, ACI Sécurité Informatique) : Elaboration d'une DEmarche et d'outils pour la MOdélisation Informatique, la validation et la restructuration de réglementations de "sûreté" (sécurité), et la détection des biais dans les aéroports.
TUCS (Dans le cadre du pôle de compétitivité i-trans) : Technologies UML pour la certification des systèmes complexes.
SAFECODE (ANR, ACI Sécurité Informatique) : SAFEty Software COmponents Design
Activités liées à la recherche :
Membre de Comités de Programmes
ICEIS, INFORSID, WTBFM/ABZ, AFADL, VOLT, MEDI, etc
Membre de Comités d'Organisation
B Workshop 2010, SEFM2015, INFORSID 2016, RCIS 2016, WISSE 2015, WISSE 2016
Responsabilités
Co-chair de l'atelier AFADL 2017 (Approches Formelles Dans l'Assistance au développement de Logiciels)
Co-responsable du groupe de travail MFDL (Méthodes formelles pour le Développement de Logiciels) du GDR GPL
Responsable du projet AGIR-DELISS
SEFM 2015 workshop co-chair (Software Engineering and Formal Methods)
Relecteur pour les revues : SoSyM (Software and System Modeling), IJIIDS (Journal of Intelligent Information and Database Systems)
Membre correspondant de la Commission des Utilisateurs des Moyens Informatiques du LIG (CUMI)
Encadrements :
Thèses :
Thèse de doctorat (Co-encadrement avec Y. Ledru) –
Amira Radhouani
« Méthodes formelles pour l'extraction d'attaques internes des Systèmes d'Information
» 2017.
Thèse de doctorat (Co-encadrement avec Y. Ledru) –
Nafees Qamar
« Generation of Formal Descriptions to support the Validation and Verification of Secure Information
System Specifications » 2011.
Projets :
Master 2 Recherche – Daniel Dos Santos Bossle (UGA - MoSIG)
« Process-based security policy validation » 2017.
Projet de fin d'études – Mouna Labiadh (INSAT)
« Développement d’un générateur de moteurs de contrôle d’accès pour des applications Spring »
Master 2 Recherche – Hassen Bazarbacha (ENIT)
« Security Testing of Access Control Policies »
Master 2 Recherche – Karim Lahmar (ISIMA Clermont-Ferrand)
« Ingénierie
Dirigée par les Modèles pour une intégration efficace de UML et de méthodes formelles »
Projet
de fin d'études (4 mois) – Institut National des
Sciences Appliquées et de Technologie
« Mise
en œuvre d'une architecture MDA pour une multi-modélisation
en UML et B »
Stage
d'ingénieur - École Polytechnique de Tunisie (2
mois) :
« Graphical Visualisation of formal B specifications
with Animation Tools ».
Projet
de Fin d'Études pour l’obtention d’un diplôme
d’ingénieur Polytechnicien (6 mois) :
«
Réalisation d'un atelier de Multi-modélisation :
B/UML - ToolKit »
Stage
TER pour un étudiant en Master 1 à l'Université
Joseph Fourier (2 mois) :
« Développement d’un
service web offrant les fonctionnalités de la boîte à
outils B/UML »
Stage
d'ingénieur de recherche - Université de Technologie
de Compiègne (3 mois) :
« Développement
d'un plugin Eclipse pour la mise en oeuvre de transformations
B/UML »