Ministère de l'Enseignement Supérieur,
de la Recherche et de l'Innovation
201622052E : PESTO Techniques de Preuves pour les Protocoles de Sécurité
Unité de recherche
(situation 2024)
Responsable(s)
- Steve Kremer à partir du 01/11/2016
|
|
Etablissements. |
|
CNRS - Centre national de la recherche scientifique ( )
(établissement tutelle à
partir de 2016)
|
|
INRIA - Institut national de la recherche en informatique et automatique ( )
(établissement tutelle à
partir de 2016)
Etablissement référent
|
|
LORRAINE - Université de Lorraine ( )
(établissement tutelle à
partir de 2016)
|
Fiche mise à jour par Judicael Fondrevelle le 15/05/2024 à 11:23
|