5G  Analyse de protocoles  Analyse statique  Anonymat  Api  Arithmétique Multiprécision  Arithmétique entière en précision arbitraire  Arithmétique interne des ordinateurs  Attestation en profondeur  Authentification  Authentification unique  Bitslicing  Canaux auxiliaires  Chiffrement  Chiffrement de bout-en-bout  Compilation  Composition de protocoles  Coq  Correction fonctionnelle  Courbes Elliptiques  Courbes elliptiques  Cryptographie  Cyberterrorisme  Droit  Déduction  ElGamal  Flux d'Informations sécurisé  Formalisation  Guérison  Http  Implémentations  Implémentations vérifiées  Ind-Cpa  Informatique  Infrastructure à clé publique  Interprétation abstraite  Langage dédié  Langages dédiés  Liage par couche  Lieur de canal  Logiciels -- Vérification  Logique informatique  Masquage  Messagerie sécurisée  Messageries instantanées  Mesures de sûreté  Modèle calculatoire  Méthodes formelles  Méthodes formelles  Parallélisme  Preuve par réflexion  Preuves  Preuves formelles  Programmation orientée objets  Programmation vérifiée  Protocoles cryptographiques  Protocoles de messageries asynchrones  Réseau 5G  Schémas de chiffrement  Secret  Secret du vote  Securite embarquees  Signal  Simd  Standards  Système de types  Systèmes  Systèmes distribués  Systèmes informatiques -- Mesures de sûreté  Sécurité  Sécurité de protocoles  Sécurité du web  Sécurité prouvée  Sûreté mémoire  TPM  TPM virtuel  Techniques asymétriques  Théorèmes -- Démonstration automatique  Traitement réparti  Triple poignée de main  Typage  Types dépendants  Vectorisation  Vote électronique  Vérification  Vérification Formelle  Vérification de programme  Vérification de programmes  Vérification déductive de programmes  Vérification formelle  Webassembly  Why3  Équivalence  

Karthikeyan Bhargavan dirige actuellement les 5 thèses suivantes :

Informatique
En préparation depuis le 01-09-2020
Thèse en préparation

Soutenance prévue le 18-01-2022


Karthikeyan Bhargavan a dirigé les 5 thèses suivantes :


Karthikeyan Bhargavan a été rapporteur des 3 thèses suivantes :

Informatique
Soutenue le 20-11-2020
Thèse soutenue

Karthikeyan Bhargavan a été membre de jury des 3 thèses suivantes :