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

Guillaume Scerri

est l'auteur d'une thèse

Cryptographie Démonstration automatique Logiciels -- Vérification Protocoles cryptographiques Systèmes informatiques -- Mesures de sûreté Sécurité

Fullscreen

Cryptographie Démonstration automatique Logiciels -- Vérification Protocoles cryptographiques Systèmes informatiques -- Mesures de sûreté Sécurité

Guillaume Scerri a rédigé la thèse suivante :

Proof of security protocols revisited

par Guillaume Scerri sous la direction de Hubert Comon-Lundh - Cachan, Ecole normale supérieure

Informatique

Soutenue le 29-01-2015

Thèse soutenue

Accéder en ligne