Recherche de cliques pour un problème de cybersécurité matériel

Jonathan Fontaine (1) , Lilia Zaourar (1) , Mohamed Benazouz (1) , Roselyne Chotin (2)

1 LECA - Laboratoire Environnement de Conception & Architecture
2 CIAN - Circuits Intégrés Numériques et Analogiques

Dans l'objectif de la lutte contre les Chevaux de Troie Matériels, nous proposons d'optimiser une méthode appelé Strong Logic Locking. La mesure de sécurité de cette méthode se base sur les cliques d'un graphe de relation, plus les cliques sont grandes et nombreuses, meilleure sera la sécurité. Nous proposons deux approches pour modéliser et résoudre ce problème.

Mots clés: Sécurité des circuits intégrés; Graphe; Clique

Domaines: Recherche opérationnelle [math.OC]; Cryptographie et sécurité [cs.CR]; Informatique

Jonathan Fontaine, Lilia Zaourar, Mohamed Benazouz, Roselyne Chotin. Recherche de cliques pour un problème de cybersécurité matériel. 23ème édition du congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne, France. ⟨cea-03605100⟩