Un algorithme pour concevoir des processeurs sans faille matérielle

Gautier Virol Technos et Innovations , cybersécurité

Publié le 02/04/2019 À 16H40

Pour lire l’intégralité de cet article, testez gratuitement L’Usine Nouvelle - édition Abonné

Les failles Spectre et Meltdown, qui ont été découvertes au début de l’année 2018, reposent sur l’analyse du fonctionnement des composants électroniques d’un processeur. Pour pallier ce type de vulnérabilités, des chercheurs des universités de Kaiserslautern, en Allemagne, et de Stanford ont créé un algorithme qui analyse la microarchitecture d’un processeur durant sa conception.

Un algorithme pour concevoir des processeurs sans faille matérielle — Des chercheurs ont mis au point un algorithme mathématique pour neutraliser les failles des processeurs.

Début 2018, la découverte des failles matérielles de sécurité informatiques Spectre et Meltdown a semé la panique chez les constructeurs de microprocesseurs. Ces failles ont mis en lumière la dangerosité des attaques dites par canaux cachés, qui permettent de récupérer des informations en observant le fonctionnement matériel – et non logiciel – d’une puce.

Des chercheurs de l’université technologique de Kaiserslautern, en partenariat avec Stanford, ont élaboré un système mathématique permettant de détecter ce type de failles pendant la conception d'un processeur. Cet outil leur a permis de d'identifier de telles failles dans des puces largement utilisées dans l’Internet des objets (IoT) et la conduite autonome.

Canaux cachés

Les algorithmes de chiffrage des données fonctionnent sur la couche matérielle d’un système informatique : lorsqu’ils sont activés, ils utilisent les composants électroniques du système pour effectuer des calculs et interagir. Les attaques dites[…]

Pour lire la totalité de cet article, ABONNEZ-VOUS
Pour un accès immédiat, payez en ligne par carte bleue

En vous abonnant à L’Usine Nouvelle, vous accédez à :