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

Équipe 2XS

eXtra Small, eXtra Safe

Responsable: Gilles Grimaud

PRÉSENTATION MEMBRES THÈSES PUBLICATIONS

Présentation

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 oeuvre 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.

Membres

Permanents

  • Professeur
    • Gilles Grimaud (Responsable)
  • Maîtres de conférences
    • Michaël Hauspie
    • Samuel Hym
    • Julien Iguchi-Cartigny
    • Thomas Vantroys
  • Chargé de recherche
    • David Nowak

Non permanents

  • Post Doctorant
    • Paolo Torrini
  • Doctorants
    • Christophe Bacara
    • Quentin Bergougnoux
    • Nadir Cherifi
    • Narjes Jomaa
    • Valentin Lefils
    • Mahieddine Yaker

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

Réduction des besoins de confiance matérielle pour le développement d'un hyperviseur certifiable 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

Les autres équipes de ' SEAS : Systèmes Embarqués Adaptatifs et Sécurisés '

Dreampal Émeraude