Sébastien Bardin
IdRefMots clés
FR |
EN
Systèmes informatiques -- Mesures de sûreté
Sécurité
Rétro-ingénierie (informatique)
Méthodes formelles (informatique)
Méthodes formelles
Logiciels -- Vérification
Exécution symbolique
Débogage
Bogues (informatique)
Codes malveillants
Désobfuscation
Exécution Symbolique
Rétro-Ingénierie
Protection de l'information (informatique)
Code source (informatique)
Attestation à distance
Vérification formelle
FPGA
CoreSight
Authentification