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

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

Nadir Cherifi

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

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

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

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

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