IAEM
Laboratoire :
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 : 10/12/2024
Directeur / Directrice de thèse : KREMER Steve
Co-directeur / Co-directrice de thèse : DREIER Jannik