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

Nadim Kobeissi

est l'auteur d'une thèse

Informatique Protocoles cryptographiques Vérification formelle

Fullscreen

Informatique Protocoles cryptographiques Vérification formelle

Nadim Kobeissi a rédigé la thèse suivante :

Formal verification for real-world cryptographic protocols and implementations

par Nadim Kobeissi sous la direction de Karthikeyan Bhargavan et de Bruno Blanchet . - Paris Sciences et Lettres (ComUE)

Informatique

Soutenue le 10-12-2018

Thèse soutenue

Accéder en ligne