IDROMEL — Conception de systèmes sécurisés par une réduction des effets de la micro-architecture sur les attaques par canaux auxiliaires

Omniprésents dans notre quotidien, les systèmes mobiles et les objets connectés sont les cibles de nombreuses attaques. En particulier, les attaques par canaux auxiliaires basés sur l'observation du champ électromagnétique ou la consommation, sont extrêmement dangereuses car quasi-impossible à détecter. De plus, on constate que les systèmes endurcis pour faire face à ces attaques restent vulnérables à cause des effets de la micro-architecture qui sont mal connus et complexes à modéliser. Le projet IDROMEL propose de concevoir de manière ascendante un ensemble de méthodes et outils pour la conception de systèmes mieux sécurisés. Ainsi, à partir de méthodes de caractérisation et de modèles adéquats de la micro-architecture, IDROMEL propose de mettre au point des outils d’analyse de sécurité par simulation et par vérification formelle, une sécurisation automatisée à la compilation ainsi que des protections matérielles permettant une sécurisation logicielle plus légère.