Le moteur de recherche
des thèses françaises
Véronique Cortier
IdRefMots clés
FR |
EN
Cryptographie
Protocoles cryptographiques
Méthodes formelles
Sécurité
Informatique
Systèmes informatiques -- Mesures de sûreté
Vote électronique
Protocoles de réseaux d'ordinateurs
Méthodes formelles (informatique)
Chiffrement (informatique)
Logiciels -- Vérification
Mesures de sûreté
Vérification
Preuves
Compilation
Correction fonctionnelle
Sûreté mémoire
Canaux auxiliaires
Primitives cryptographiques
Implémentation vérifiée