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é  Informatique  Langage dédié  Logiciels -- Vérification  Mesures de sûreté  Méthodes formelles  Méthodes formelles  Protocoles cryptographiques  Systèmes informatiques -- Mesures de sûreté  Sécurité  

Karthikeyan Bhargavan dirige actuellement les 5 thèses suivantes :

Une méthodologie pour la programmation et la vérification de systèmes sécurisés

par Antonin Reitz sous la direction de Karthikeyan Bhargavan - Université Paris sciences et lettres

Informatique

En préparation depuis le 01-09-2022

Fondations formelles et exécution vérifiée pour WebAssembly

par Son Ho sous la direction de Karthikeyan Bhargavan - Université Paris sciences et lettres

Informatique

En préparation depuis le 01-09-2020

Implémentations formellement vérifiées de standards cryptographiques à base de courbes elliptiques

par Natalia Kulatova sous la direction de Karthikeyan Bhargavan - Université Paris sciences et lettres

Informatique

En préparation depuis le 01-09-2017

Construction d'une bibliothèque cryptographique multi-plateformes formellement vérifiée à haute performance en F*

par Marina Polubelova sous la direction de Karthikeyan Bhargavan - Université Paris sciences et lettres

Informatique

Soutenue le 17-01-2022

Preuves mécanisées de protocoles cryptographiques et leur lien avec des implémentations vérifiées

par Benjamin Lipp sous la direction de Bruno Blanchet et de Karthikeyan Bhargavan . - Université Paris sciences et lettres

Informatique

Soutenue le 28-06-2022

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

Proof-oriented domain-specific language design for high-assurance software

par Denis Merigoux sous la direction de Karthikeyan Bhargavan et de Jonathan Protzenko . - Université Paris sciences et lettres

Informatique

Soutenue le 13-12-2021

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

Secure, fast and verified cryptographic applications : a scalable approach

par Jean-Karim Zinzindohoué-Marsaudon sous la direction de Karthikeyan Bhargavan - Paris Sciences et Lettres (ComUE)

Informatique

Soutenue le 03-07-2018

A formalization of elliptic curves for cryptography

par Evmorfia-Iro Bartzia sous la direction de Karthikeyan Bhargavan - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 15-02-2017

On the security of authentication protocols on the web

par Antoine Delignat-Lavaud sous la direction de Karthikeyan Bhargavan - Paris Sciences et Lettres (ComUE)

Informatique

Soutenue le 14-03-2016

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

Schémas de chiffrement prouvables pour les systèmes distribués

par Mohamad El Laz sous la direction de Tamara Rezk - Université Côte d'Azur

Informatique

Soutenue le 30-03-2022

Usuba, Optimizing Bitslicing Compiler

par Darius Mercadier sous la direction de Gilles Muller - Sorbonne université

Informatique

Soutenue le 20-11-2020

Development and verification of arbitrary-precision integer arithmetic libraries

par Raphaël Rieu sous la direction de Guillaume Melquiond - université Paris-Saclay

Informatique

Soutenue le 03-11-2020

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

Design and analysis of provably secure protocols : Applications to messaging and attestation

par Léo Robert sous la direction de Pascal Lafourcade et de Cristina Onete . - Université Clermont Auvergne (2021-...)

Informatique

Soutenue le 22-09-2022

Verified Programming at the Intersection of Dependent Types and Static Analysis

par Lucas Franceschino sous la direction de Jean-Pierre Talpin et de David Pichardie . - Rennes, École normale supérieure

Informatique

Soutenue le 10-12-2021

Vote électronique : définitions et techniques d'analyse

par Joseph Lallemand sous la direction de Véronique Cortier - Université de Lorraine

Informatique

Soutenue le 08-11-2019