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