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
Sécurité et privacité des systèmes neuromorphiques
Connexion efficace entre capteurs et processeurs neuromorphiques
Détection d'attaques DDoS dans le contexte d'un fournisseur cloud de grande envergure 18/12/2023
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