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
Détection des attaques DDoS combinant des sources de données hétérogènes
Conception d'un noyau sécurisé pour objets contraints
Détection d'intrusion dans un environnement loT sans fil
Preuve formelle en Coq pour les programmes impératifs peu profonds etleur compilation en C
Sécurité des systèmes d'exploitation embarqués sur processeur multicoeur
Analyse forensique des écosystèmes intelligents communicants de l'Internet des objets 30/01/2021
Le co-design d’un noyau de système d’exploitation et de sa preuve formelle d’isolation 20/12/2018
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