[thèse] Détection d’attaques temporelles par des méthodes formelles
Ce doctorat vise à détecter, empêcher et corriger des attaques par canal auxiliaire, et notamment temporisées, à l’aide de méthodes formelles.
Encadrant : Étienne André
Équipe : MOSEL/VeriDis
Voir le sujet en PDF.
Candidatures par courriel sur phd.promis@lipn13.fr
Date de démarrage souhaitée : automne 2020.