Bruno Blanchet
IdRefMots clés
FR |
EN
Cryptographie
Sécurité
Protocoles cryptographiques
Vérification
Méthodes formelles
Vérification formelle
Logiciels -- Vérification
Protocoles de réseaux d'ordinateurs
Systèmes informatiques -- Mesures de sûreté
Protocoles
Chiffrement (informatique)
Informatique
Équivalence
Décidabilité
Protection de l'information (informatique)
Décidabilité (logique mathématique)
Protocoles de sécurité
Vie privée
Méthodes formelles (informatique)
Jeux cryptographiques