Theophile Wallez
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.
Entreprise : ENS Ulm
![theophile_wallez](https://devfesttoulouse.fr/wp-content/uploads/2023/07/theophile_wallez.jpg)
![theophile_wallez](https://devfesttoulouse.fr/wp-content/uploads/2023/07/theophile_wallez.jpg)
Theophile Wallez
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.
Entreprise : ENS Ulm