Steve Kremer
Mots clés
FR |
EN
Systèmes informatiques -- Mesures de sûreté
Cryptographie
Sécurité
Méthodes formelles
Méthodes formelles (informatique)
Protocoles de réseaux d'ordinateurs
Vérification
Protocoles cryptographiques
Chiffrement (informatique)
Protection de l'information (informatique)
Vérification de modèles (informatique)
Vérification formelle
Logiciels -- Vérification
Analyse des protocoles cryptographiques
Équivalences observationnelles
DeepSec
Symétries
Optimisation
Relations d'équivalence (théorie des ensembles)
Complexité de calcul (informatique)