Le moteur de recherche
des thèses françaises
Steve Kremer
IdRefMots clés
FR |
EN
Cryptographie
Systèmes informatiques -- Mesures de sûreté
Sécurité
Protocoles de réseaux d'ordinateurs
Vérification
Méthodes formelles
Méthodes formelles (informatique)
Logiciels -- Vérification
Protocoles
Protocoles cryptographiques
Chiffrement (informatique)
Protection de l'information (informatique)
Vérification de modèles (informatique)
Cybersécurité
Logique
Vérification formelle
Analyse des protocoles cryptographiques
Équivalences observationnelles
DeepSec
Symétries