Professeur

Chef d'équipe (2XS)
Membre élu du conseil d'unité

Equipe(s)

2XS

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

Nicolas Dejon

Conception d’un noyau sécurisé pour objets contraints

Francois Serman

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

Nadir Cherifi

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

Clément Boin

Détection des attaques DDoS combinant des sources de données hétérogènes

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

François Bouchaud

Analyse forensique des écosystèmes intelligents communicants de l’Internet des objets Soutenue le 30 janvier 2021

Damien Riquet

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

Mahieddine Yaker

Conception et implémentation d’un écosystème pour l’Internet des objets basé sur une isolation mémoire formellement prouvée Soutenue le 19 décembre 2019

Florian Vanhems

Sécurité des systèmes d’exploitation embarqués sur processeur multicoeur

Etienne Helluy-lafont

Sécurité et détection d’intrusion dans les réseaux sans fil Soutenue le 29 janvier 2021

Valentin Lefils

Vérification externalisée du flot de contrôle : Comment adapter la sécurité système à l’informatique embarquée Soutenue le 26 juin 2019

Quentin Bergougnoux

Co-design et implémentation d’un noyau minimal orienté par sa preuve, et évolution vers les architectures multi-coeur Soutenue le 19 juin 2019

Publications