Le moteur de recherche
des thèses françaises
Aurélien Francillon
IdRefMots clés
FR |
EN
Systèmes informatiques -- Mesures de sûreté
Sécurité
Internet des objets
Systèmes embarqués (informatique)
Protection de l'information (informatique)
Mesures de sûreté
Logiciels -- Vérification
Exécution symbolique
Systèmes de communication sans fil
Systèmes de détection d'intrusion (informatique)
IoT
Protocoles
Dataset
Sécurité informatique
Ordinateurs -- Mémoires
Analyse de binaire
Modélisation
Vérification formelle
Systèmes embarqués
Firmware