Yannick Chevalier
Mots clés
FR |
EN
Cryptographie
Méthodes formelles
Méthodes formelles (informatique)
Systèmes informatiques -- Mesures de sûreté
Protocoles cryptographiques
Sécurité
Compilation (informatique)
Protocoles
Vérification
Protection de l'information (informatique)
Vérification de modèles (informatique)
Modèle symbolique
Calcul formel
Sécurité de l'information
La sécurité dès la conception
Méthodologie de conception
Système basé sur un microcontrôleur
Système de sécurité physique
Modélisation basée sur les composants
Microcontrôleurs