RACOUCHOT MAIWENN

IAEM
Laboratoire : LORIA
Sujet de thèse : Analyse formelle de sécurité de protocoles: études de cas réelles et stratégies de preuve automatisées
Date de soutenance : 12 octobre 2024
Directeur / Directrice de thèse : KREMER Steve
Co-directeur / Co-directrice de thèse : DREIER Jannik