Véronique Cortier
IdRefMots clés
FR |
EN
Cryptographie
Sécurité
Méthodes formelles
Systèmes informatiques -- Mesures de sûreté
Vote électronique
Protocoles cryptographiques
Protocoles de réseaux d'ordinateurs
Chiffrement (informatique)
Informatique
Méthodes formelles (informatique)
Logiciels -- Vérification
Preuves
Compilation
Correction fonctionnelle
Sûreté mémoire
Canaux auxiliaires
Protocoles récursifs
Modèles calculatoires
Obfuscation
Vérification Formelle