Titre du mémoire : « Classification, Formalization and Automatic Verification of Untraceability in FRID Protocols »

Présenté par : Monsieur Ali Khadem Mohtaram

JURY :

PRÉSIDENT : M. Giuliano Antoniol, Ph.D.;

DIRECTEUR DE RECHERCHE : M. John Mullins, Ph.D.;

CODIRECTEUR DE RECHERCHE : M. Alejandro Quintero, Ph.D.;

MEMBRE : M. Bram Adams, Ph.D., membre;