Intérêts de recherche

Depuis l'avènement d’Internet, la liste d'intrusions dans les systèmes d'information et de vols d'information via ce réseau ne cesse de s'allonger. Le réseau Internet a non seulement donné une parfaite vitrine aux commerçants du monde entier qui y trouvent l'occasion de profiter d'un marché virtuel mondial, mais a aussi suscité des nombreuses idées chez tous ceux qui cherchent de l'argent facile et ceux qui trouvent un grand plaisir de créer le désordre et de saccager les vitrines des autres. C'est ainsi que la sécurité informatique devient sans conteste un impératif de plus haute importance et un besoin très urgent pour faire face à ces crimes informatiques et garantir une certaine assurance pour les utilisateurs de nouvelles technologies de pointe comme Internet. Mes activités de recherches visent principalement l’utilisation de méthodes formelles pour la spécification et l’analyse de protocoles cryptographiques, la détection d’intrusions, la détection de codes malicieux et la certification de programmes. Plus précisément, je travaille sur les deux axes suivants:

Projets de recherche subventionnés

Collaborations avec d’autres universités