Karthikeyan Bhargavan
Mots clés
FR |
EN
Cryptographie
Informatique
Méthodes formelles
Protocoles cryptographiques
Logiciels -- Vérification
Compilation
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