Domaines de recherche: senseurs et systèmes photoniques électroniques,
communication en fibres optiques et sans fil
Applications: sécurité nationale (détection de matériaux explosifs),
génie civile (mesures de l'intégrité de constructions,
environnement (détection de polluants)
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.