Analyse des protocoles cryptographiques  Analyse formelle de concepts  Argent électronique  Assistants de preuve  Attaques par canaux cachés  Authentification  CMAC  CRDT  Certification  ChaCha20-Poly1305  Chiffrement  Code source  Codes malveillants  Collaboration  Complexité de calcul  Confidentialité différentielle  Convergence  Convergence  Coq  Coq  Cryptanalyse  Cryptographie  Cryptologie  Cybersécurité  DeepSec  Désobfuscation  EasyCrypt  Examens  Exécution Symbolique  Information, Théorie de l'  Infrastructures à clés publiques  La confidentialité  La réputation électronique  La vérifiabilité  La vérification de l’exécution  La vérification formelle  Logarithme discret  Logarithmes discrets  Logiciels -- Vérification  Logique  MarQ  Model calculatoire  Modèle calculatoire  Modèle à taille de mémoire borné  Méthodes formelles  Méthodes formelles  Méthodes symboliques  Non-Traçabilité  Optimisation  Pair-À-Pair  Parallélisme  Poste à poste  Preuve  Preuve formelle  Preuve électronique  ProVerif  Protection de l'information  Protocoles  Protocoles cryptographiques  Protocoles de réseaux d'ordinateurs  QEA  Relations d'équivalence  Route validité  Réplication optimiste  Réseaux  Résistance aux intrusions  Rétro-Ingénierie  Rétro-ingénierie  SHA-3  Signatures électroniques  Standards  Symétries  Synchronisation  Systèmes informatiques -- Mesures de sûreté  Sécurité  Sécurité des protocoles cryptographiques  Sécurité informatique  Sécurité prouvable  Théorie de l'information  Vote électronique  Vérification  Vérification de modèles  Vérification formelle  Édition collaborative  Équivalences observationnelles  “Privacy” et “utility”  

Steve Kremer dirige actuellement la thèse suivante :

Informatique
En préparation depuis le 01-10-2021
Thèse en préparation


Steve Kremer a dirigé les 4 thèses suivantes :


Steve Kremer a été président de jury des 4 thèses suivantes :


Steve Kremer a été rapporteur des 2 thèses suivantes :


Steve Kremer a été membre de jury des 3 thèses suivantes :