Méthodes pour la vérification des protocoles cryptographiques dans le modèle calculatoire / Mathilde Duclos ; sous la direction de Yassine Lakhnech et de Pierre Corbineau

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Cryptographie

Infrastructures à clés publiques

Méthodes formelles (informatique)

Assistants de preuve

Coq (logiciel)

Classification Dewey : 004

Lakhnech, Yassine (Directeur de thèse / thesis advisor)

Corbineau, Pierre (1978-....) (Directeur de thèse / thesis advisor)

Dumas, Jean-Guillaume (1975-....) (Président du jury de soutenance / praeses)

Paulin-Mohring, Christine (1962-....) (Rapporteur de la thèse / thesis reporter)

Cortier, Véronique (Rapporteur de la thèse / thesis reporter)

Blanchet, Bruno (Membre du jury / opponent)

Kremer, Steve (Membre du jury / opponent)

Monin, Jean-François (Membre du jury / opponent)

Communauté d'universités et d'établissements Université Grenoble Alpes (Organisme de soutenance / degree-grantor)

Communauté d'universités et d'établissements Université Grenoble Alpes (Organisme de cotutelle / degree co-grantor)

École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (Ecole doctorale associée à la thèse / doctoral school)

Laboratoire Verimag (Grenoble) (Laboratoire associé à la thèse / thesis associated laboratory)