SEAS

2XS team

eXtra Small, eXtra Safe

Leader: Gilles Grimaud

PRESENTATION MEMBERS THESES PUBLICATIONS

Presentation

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.

Christophe Bacara

Organisation de la collecte de données anonymes au sein d'infrastructures de sécurité largement distribuées

Quentin Bergougnoux

Conception et implémentation d'un exo-noyau à la propriété d'isolation formallement prouvable

François Bouchaud

Analyse forensique des objets intelligents communicants

Etienne Helluy-lafont

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

Valentin Lefils

Tissage de code pour le suivi d'exécution d'un système d'exploitation par token sécurité

Mahieddine Yaker

Hyperviseur prouvé pour les systèmes temps réel

Narjes Jomaa

Le co-design d’un noyau de système d’exploitation et de sa preuve formelle d’isolation 2018-12-20

Nadir Cherifi

Assistance au développêment de logiciels embarqués contraints en énergie 2018-09-19

Francois Serman

Reducing hardware TCB in favor of a certifiable software virtual machine monitor 2016-12-08

Damien Riquet

Probes Infrastructure for Cloud Security 2015-12-03

Julien Iguchi-Cartigny

Contributions à la sécurité des Java Card 2014-12-04

Michaël Hauspie

Eléments de conception de systèmes embarqués fortement contraints 2014-12-04

Other ' SEAS : Systèmes Embarqués Adaptatifs et Sécurisés ' teams

EAST Émeraude