Maître de conférences (HDR)


Equipe(s)

2XS

Ma thèse

“Contributions à la diffusion dans les réseaux ad hoc”

Dirigée par Vincent Cordonnier et David Simplot-Ryl / Débutée le 1er octobre 2000

Domaine de recheche : Informatique

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

Nicolas Dejon

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

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

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

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