Mes Recherches

Mes recherches ont pour principales missions d'effectuer de la recherche fondamentale et appliquée dans le domaine de la sécurité informatique : sécurité des données, des applications et des systèmes de communication.

Mes thèmes de recherche :

  1. Blockchain
  2. Intelligence Artificielle
  3. Data Science / Big Data
  4. Cryptographie
  5. Protocoles cryptographiques
  6. Méthodes formelles et vérification pour la sécurité
  7. Analyse de code, contrôle de flots d’information, défaillances
  8. Communication sécurisée dans les réseaux et sur les grilles
  9. Prévention et détection d’intrusions, virologie
  10. Sécurisation et protection des données
  11. Identification et protection de l’individu : biométrie, vidéo-surveillance
  12. Vote numérique
  13. Sécurité numérique et société : respect de la vie privée, législation
  14. Analyse du trafic réseau pour identifier des attaques ou des anomalies

Mes recherches visent le développement et l'application de méthodes formelles et rigoureuses pour la résolution des problématiques liées à la sécurité informatique et j'ai pour but d'apporter des solutions concrètes, solides et convaincantes pour les objectifs suivants :

  • Mise en place d'un cadre et d'outils logiciels pour le développement formel et systématique des protocoles de sécurité et des protocoles de e-commerce
  • Élaboration de techniques formelles et d'outils informatiques pour la vérification des systèmes de détection d'intrusions
  • Élaboration de méthodologies pour la vérification et l'analyse des configurations dans les systèmes pare-feux
  • Élaboration de techniques de détection de codes malicieux dans les logiciels