SANSCrypt: Sporadic-Authentication-Based Sequential Logic Encryption - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

SANSCrypt: Sporadic-Authentication-Based Sequential Logic Encryption

Yinghua Hu
  • Fonction : Auteur
  • PersonId : 1158055
Kaixin Yang
  • Fonction : Auteur
  • PersonId : 1158056
Shahin Nazarian
  • Fonction : Auteur
  • PersonId : 1158057
Pierluigi Nuzzo
  • Fonction : Auteur
  • PersonId : 1158058

Résumé

Sequential logic encryption is a countermeasure against reverse engineering of sequential circuits based on modifying the original finite state machine of the circuit such that the circuit enters a wrong state upon being reset. A user must apply a certain sequence of input patterns, i.e., a key sequence, for the circuit to transition to the correct state. The circuit then remains functional unless it is powered off or reset again. Most sequential encryption methods require the correct key to be applied only once. In this paper, we propose a novel Sporadic-Authentication-Based Sequential Logic Encryption method (SANSCrypt) that circumvents the potential vulnerability associated with a single-authentication mechanism. SANSCrypt adopts a new temporal dimension to logic encryption, by requiring the user to sporadically perform multiple authentications according to a protocol based on pseudo-random number generation. We provide implementation details of SANSCrypt and present a design that is amenable to time-sensitive applications. In SANSCrypt, the authentication task does not significantly disrupt the normal circuit operation, as it can be interrupted or postponed upon request from a high-priority task with minimal impact on the overall performance. Analysis and validation results on a set of benchmark circuits show that SANSCrypt offers a substantial output corruptibility if the key sequences are applied incorrectly. Moreover, it exhibits exponential resilience to existing attacks, including SAT-based attacks, while maintaining a reasonably low overhead.
Fichier principal
Vignette du fichier
512096_1_En_12_Chapter.pdf (2.31 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03759720 , version 1 (24-08-2022)

Licence

Paternité

Identifiants

Citer

Yinghua Hu, Kaixin Yang, Shahin Nazarian, Pierluigi Nuzzo. SANSCrypt: Sporadic-Authentication-Based Sequential Logic Encryption. 28th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2020, Salt Lake City, UT, United States. pp.255-278, ⟨10.1007/978-3-030-81641-4_12⟩. ⟨hal-03759720⟩
14 Consultations
2 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More