Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Pierre Corbineau

est l'auteur d'une thèse
a dirigé 1 thèse

Assistants de preuve Calcul des constructions inductives Certification Coq Coq Cryptographie Infrastructures à clés publiques Logique du premier ordre Logique intuitionniste Modèle calculatoire Modèle à taille de mémoire borné Méthodes formelles Méthodes formelles Preuve Procédure de décision Réflexion calculatoire Résistance aux intrusions Système Coq Sécurité

Fullscreen

Assistants de preuve Calcul des constructions inductives Certification Coq Coq Cryptographie Infrastructures à clés publiques Logique du premier ordre Logique intuitionniste Modèle calculatoire Modèle à taille de mémoire borné Méthodes formelles Méthodes formelles Preuve Procédure de décision Réflexion calculatoire Résistance aux intrusions Système Coq Sécurité

Pierre Corbineau a rédigé la thèse suivante :

Démonstration automatique en théorie des types

par Pierre Corbineau sous la direction de Christine Paulin-Mohring - Paris 11

Informatique

Soutenue en 2005

Thèse soutenue

Pierre Corbineau a dirigé la thèse suivante :

Méthodes pour la vérification des protocoles cryptographiques dans le modèle calculatoire

par Mathilde Duclos sous la direction de Yassine Lakhnech et de Pierre Corbineau . - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 29-01-2016

Thèse soutenue

Accéder en ligne