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.

Members

Permanent

  • Professor
    • Gilles Grimaud (Responsable)
  • Associate professors
    • Michaël Hauspie
    • Samuel Hym
    • Julien Iguchi-Cartigny
    • Thomas Vantroys
  • Research scientist
    • David Nowak

Temporary

  • Postdoc
    • Paolo Torrini
  • Phd students
    • Christophe Bacara
    • Quentin Bergougnoux
    • Nadir Cherifi
    • Narjes Jomaa
    • Valentin Lefils
    • Mahieddine Yaker

Associated

  • Research scientist
    • Vlad Rusu

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

Nadir Cherifi

Environnement pour le développement de logiciels à faible consommation énergétique pour systèmes embarqués

Narjes Jomaa

La conception d'un noyau minimal garantissant l'isolation mémoire et la réalisation de preuve formelle de ses propriétés de sécurité dans un assistant de preuve

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

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