Professor

Team Leader (2XS)
Elected member of the laboratory council

Team(s)

2XS

Directed or co-supervised theses within 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 Defended on 8 December 2016

Nadir Cherifi

Assistance au développêment de logiciels embarqués contraints en énergie Defended on 19 September 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 Defended on 20 December 2018

François Bouchaud

Analyse forensique des écosystèmes intelligents communicants de l’Internet des objets Defended on 30 January 2021

Damien Riquet

Probes Infrastructure for Cloud Security Defended on 3 December 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 Defended on 19 December 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 Defended on 29 January 2021

Valentin Lefils

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

Quentin Bergougnoux

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

Publications