50401Mitigation formelle d'attaques via canaux auxiliaires par vérification paramétrée [En savoir plus]ProMiS - ANR-19-CE25-0015AAPG2019 - 2019Voir les documents associés Exporter Export XML Export RDF