L’équipe 2XS travaille sur les systèmes embarqués fortement contraints et en particulier sur la conception de logiciels et matériels apportant sécurité, fiabilité et efficacité à ces derniers. La recherche de l’équipe 2XS s’oriente particulièrement sur la définition de nouvelles architectures de systèmes ou de nouveaux langages pour permettre la conception rapide de logiciels fiables, adaptés à des contraintes fortes en terme de consommation mémoire, de consommation énergétique, de puissance de calcul et de sécurité. Les compétences mises en œuvre par l’équipe pour adresser ces verrous vont de la vérification formelle à la conception conjointe logicielle et matérielle en passant par l’architecture de systèmes d’exploitation.
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
Réduction des besoins de confiance matérielle pour le développement d'un hyperviseur certifiable 08/12/2016
Probes Infrastructure for Cloud Security 03/12/2015