Le moteur de recherche
des thèses françaises
Jan Reineke
IdRefMots clés
FR |
EN
Systèmes informatiques -- Mesures de sûreté
Sécurité
Temps réel (informatique)
Analyse Pire Cas
Méthodes formelles
Exécution spéculative
Cryptographie
Méthodes formelles (informatique)
Assistants de preuve
Canaux auxiliaires
Microarchitecture
Sécurité du web
Contention de port
Attaques par minutage
Navigateurs (logiciels)
Mesures de sûreté
Microprogrammation
Analyse
Cache
Lru