Le moteur de recherche
des thèses françaises
Pascal Cotret
IdRefMots clés
FR |
EN
Systèmes embarqués (informatique)
RISC-V
Mesures de sûreté
Sécurité
Systèmes embarqués
Contrôle de flux d’information
Architecture de cache
Canaux auxiliaires en cache
Antémémoire
FPGA
Architectures hétérogènes
Informatique -- Appareils et matériel
Systèmes informatiques -- Mesures de sûreté
Réseaux logiques programmables par l'utilisateur
Composant de débogage et de traces
Analyse statique
Instrumentation
Linux Security Modules
Protection de l'information (informatique)
Logiciels -- Vérification