Professeur

Animateur de Groupe Thématique (SEAS : Systèmes Embarqués Adaptatifs et Sécurisés)
Chef d'équipe (2XS)
Membre du conseil scientifique

Equipe(s)

2XS

Thèses dirigées ou co-encadrées au sein de CRIStAL

François Bouchaud

Analyse forensique des objets intelligents communicants

Francois Serman

Réduction des besoins de confiance matérielle pour le développement d’un hyperviseur certifiable Soutenue le 8 décembre 2016

Narjes Jomaa

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

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

Mahieddine Yaker

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

Nadir Cherifi

Assistance au développêment de logiciels embarqués contraints en énergie Soutenue le 19 septembre 2018

Quentin Bergougnoux

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

Valentin Lefils

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

Damien Riquet

Probes Infrastructure for Cloud Security Soutenue le 3 décembre 2015