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.

DGA

• PhD grant for Nisrine Jafri (2016–2019),

• PhD grant for Lamine Noureddine (2017-2020)

• PhD grant for Christophe Genevey Metat (2018-2021)

• PhD grant for Cassius De Oliveira Puodzius (2019-2022)