The 2XS team is working on highly constrained embedded devices, precisely on designing software and hardware that are secure, safe and efficient. Research in 2XS team is focused on defining new system architectures or new languages to allow fast development of reliable embedded software. The team addresses issues concerning memory footprint, energy consumption and security. The team takes profit of proficiencies in formal verification, hardware/software co-design and operating system architectures to tackle the aforementioned issues.
Gilles Grimaud
Organisation de la collecte de données anonymes au sein d'infrastructures de sécurité largement distribuées
Analyse forensique des objets intelligents communicants
Conception d'un noyau sécurisé pour objets contraints
Sondes pour la détection d'intrusions dans les artichitectures réseau hétérogènes et massivement distribuées : sécurisation de l'IOT de bout en bout
Détection d'intrusion dans un environnement loT sans fil
Sécurité des systèmes d'exploitation embarqués sur processeur multicoeur
Reducing hardware TCB in favor of a certifiable software virtual machine monitor 08/12/2016
Probes Infrastructure for Cloud Security 03/12/2015
français
English