Thèse en cours

Contributions à la vérification automatique de protocoles de groupes

FR

Accès à la thèse

Triangle exclamation pleinLa soutenance a eu lieu le 11/09/2009. Le document qui a justifié du diplôme est en cours de traitement par l'établissement de soutenance.
Auteur / Autrice : Najah Chridi
Direction : Michael RusinowitchLaurent Vigneron
Type : Projet de thèse
Discipline(s) : Informatique
Date : Inscription en doctorat le 07/09/2005
Soutenance le 11/09/2009
Etablissement(s) : Université de Lorraine
Ecole(s) doctorale(s) : Informatique, Automatique, Electronique-Electrotechnique, Mathématiques
Partenaire(s) de recherche : Equipe de recherche : Laboratoire lorrain de Recherche en Informatique et ses Applications
Etablissement d'accueil : UNIVERSITE DE LORRAINE
Jury : Président / Présidente : Isabelle Chrisment
Examinateurs / Examinatrices : Michael Rusinowitch, Laurent Vigneron, Refik Molva, Sjouke Mauw, Mathieu Turuani
Rapporteurs / Rapporteuses : Ralf Treinen, Maryline Maknavicius-laurent

Mots clés

FR

Mots clés libres