Projets
Projets
Projets de recherche et développement auxquels j'ai participé.
2024 - 2027
TAPAS
Investigateur Principal
Analyse Automatisée de Protocoles de Confiance pour la Sécurité. Développement d'outils avancés de méthodes formelles pour la vérification automatisée des protocoles de sécurité dans les systèmes distribués.
ANR (French National Research Agency)En savoir plus
2023 - 2026
Scaling Up Variability
Co-Investigateur
Relever le défi de la variabilité dans les systèmes logiciels à grande échelle grâce à des techniques de modélisation et d'analyse formelles.
EU Horizon EuropeEn savoir plus
2020 - 2023
SecureIoT
Chercheur
Analyse de sécurité et vérification pour les appareils et protocoles de l'Internet des Objets. Développement de techniques nouvelles pour détecter les vulnérabilités dans les environnements contraints.
Belgian Science Foundation