Section: Partnerships and Cooperations
National Initiatives
ANR
-
ANR MALTHY, Méthodes ALgébriques pour la vérification de modèles Temporisés et HYbrides, Thao Dang, 4 years, Inria and VISEO and CEA and VERIMAG
-
ANR COGITO, Runtime Code Generation to Secure Devices, 3 years, Inria and CEA and ENSMSE and XLIM.
-
ANR AHMA, Automated Hardware Malware Analysis, 3,5 years, JCJC.