Le moteur de recherche
des thèses françaises
Karthikeyan Bhargavan
IdRefMots clés
FR |
EN
Cryptographie
Informatique
Logiciels -- Vérification
Méthodes formelles
Compilation
Protocoles cryptographiques
Méthodes formelles (informatique)
Vérification formelle
Langage dédié
Systèmes informatiques -- Mesures de sûreté
Courbes Elliptiques
Coq (logiciel)
Courbes elliptiques
Sécurité des communications
Sécurité logicielle
Inférence d'automates
Tls
Ssh
Protocole de Sécurité
Vérification déductive de programmes