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

  • GenISIS : Generator of Insider Scenarios from an Information System, allows to exhibit attack scenarios that can reach a malicious targeted state from an authorised initial state.
  • B4MSecure : B for Modeling Secure Information Systems, an Eclipse platform to extract B specifications from functional UML models enhanced by an RBAC access control policy.
  • SeWAT: Secure Web Applications Tooling, a free tool allowing to easily specify, verify and deploy access control policies in web applications
  • BMethod.ecore: Méta-modèle ecore du langage B
  • B/UML-Toolkit : class diagram generator from B machines

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 :

En cours : 

Thèse de doctorat (Co-encadrement avec Y. Ledru) – Amira Radhouani
«  Validation confointe en UML et B de politiques de sécurité en Systèmes d'Information  »

Passés : 

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 »

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 »