[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.