Théophile Wallez en thèse à l’Inria Paris. Son travail de recherche porte sur la vérification formelle de la sécurité du protocole de messagerie de groupe sécurisé MLS.