Vous êtes ici : Accueil / Ecole Doctorale Mathématiques, Télécommunications, Informatique, Signal, Systèmes, Electronique / Thèses 2015 / Contrôle de flux d'information par utilisation conjointe d'analyse statique et d'analyse dynamique accélérée matériellement

Contrôle de flux d'information par utilisation conjointe d'analyse statique et d'analyse dynamique accélérée matériellement

Titre du sujet de thèse
Contrôle de flux d'information par utilisation conjointe d'analyse statique et d'analyse dynamique accélérée matériellement
Thesis title
Combining static analysis with hardware-assisted Dynamic Information Flow Control
Description du sujet de thèse / Full thesis description
Encadrant(s) / Supervisor(s) Discipline(s) Financements / Funding bodies
Guillaume Hiet
Pascal Cotret
Informatique
Electronique
Contrat de recherche Labex COMINlabs (50 % , Acquis)
Région Bretagne (50 % , Demande en cours)
Unité(s) de recherche associée(s) / Associated research unit(s) :
Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA - CNRS)
Centre Inria Rennes - Bretagne Atlantique (INRIA Rennes)
Télécharger les descriptions complètes : Français : soft.pdf

Candidatures closes depuis le / Candidates closed since : 30/9/2015

Site Internet de l'ED

Logo ED matisse

Etablissements co-accrédités

Logo Rennes 1


Logo Agrocampus

Logo ENS

Logo INSA

Logo Supélec

logo Telecom Bretagne

logo Rennes 2

Etablissements associés

Logo ENSAI