CycSAT - chiffrement logique cyclique non résoluble utilisant des états inaccessibles

Le chiffrement logique a suscité beaucoup d'attention en raison de l'augmentation des coûts de conception des circuits intégrés et du nombre croissant de fonderies non fiables. Les états inaccessibles dans un design offrent un espace de flexibilité pour explorer le chiffrement logique. Cependant, en raison de l'accès disponible à la chaîne de scan, le chiffrement combinatoire traditionnel ne peut pas tirer parti de cette flexibilité. Le chiffrement logique cyclique insère des rétroactions contrôlées par des clés dans le circuit d'origine pour prévenir le piratage et la surproduction. Sur la base de notre découverte, le chiffrement logique cyclique peut utiliser des états inaccessibles pour améliorer la sécurité. Bien que le chiffrement cyclique soit vulnérable à une attaque puissante appelée CycSAT, nous développons un nouveau moyen de chiffrement cyclique en utilisant des états inaccessibles pour contrer CycSAT. La complexité d'attaque du schéma proposé est discutée et sa robustesse est démontrée.