Projet eb3sec
Sécurisation de systèmes d'information à partir de spécifications formelles.
Deux laboratoires, une équipe
Les membres du GRIL (Groupe de Recherche en Ingénierie du Logiciel) de l'université de Sherbrooke et du LACL (Laboratoire d'Algorithmique, Complexité et Logique) de l'université de Paris XII val de Marne travaillent en étroite collaboration sur ce projet commun. La plupart des étudiants travaillant sur le projet effectuent leur doctorat en co-tutelle.
Qui ? Les membres
Professeurs
Étudiants
- Oscar Botero
- Romain Chossart
- Michel Embe Jiague
- Pierre Konopacki
- Jérémy Milhau