
IAEM
Laboratoire : LORIA
Sujet de thèse : Vérification efficace d'équivalences observationnelles dans les protocoles cryptographiques
Date de soutenance : 1 février 2021
Directeur / Directrice de thèse : KREMER Steve
Co-directeur / Co-directrice de thèse : CHEVAL VINCENT