Testing and reliability enhancement of security primitives: Methodology and experimental validation - Equipe Secure and Safe Hardware
Article Dans Une Revue Microelectronics Reliability Année : 2023

Testing and reliability enhancement of security primitives: Methodology and experimental validation

Résumé

The test of security primitives is particularly strategic as any bias coming from the implementation or environment can wreak havoc on the security it is intended to provide. This paper presents how some security properties are tested on hardware security primitives including True Random Number Generation (TRNG), Physically Unclonable Function (PUF), and cryptographic modules. Moreover, we discuss how the sensors embedded to protect cryptographic modules against fault injection attacks should be calibrated over time to fulfill the requirement it was designed for. The testing we discuss in this paper is different from the conventional testing where we consider a fault model and generate test patterns via an ATPG to detect such faults. The test of TRNG and PUF to ensure a high level of security is mainly about the entropy assessment, which requires specific statistical tests. The security against side-channel analysis (SCA) of cryptographic primitives, like the substitution box in symmetric cryptography, is generally ensured by masking. However, the hardware implementation of masking can be damaged by glitches, which create leakages on sensitive variables. Accordingly, a test method is to search for nets of the cryptographic netlist, which are vulnerable to glitches. Finally, the Digital Sensor (DS) is an efficient primitive to detect disturbances and raise alarms in the case of fault injection attack (FIA). The dimensioning of this primitive requires a precise test to take into account the environmental variations including aging. This paper extends on a conference paper presented at DFTS’21 by the same co-authors, where the test methodology for three critical security primitives is presented. In addition, in this paper, we add experimental validation to show how such testing methodology is applied in practice.
Fichier principal
Vignette du fichier
22_MICRO_REL.pdf (3.15 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04260803 , version 1 (26-10-2023)

Identifiants

Citer

Md Toufiq Hasan Anik, Jean-Luc Danger, Omar Diankha, Mohammad Ebrahimabadi, Christoph Frisch, et al.. Testing and reliability enhancement of security primitives: Methodology and experimental validation. Microelectronics Reliability, 2023, 147, pp.115055. ⟨10.1016/j.microrel.2023.115055⟩. ⟨hal-04260803⟩
246 Consultations
45 Téléchargements

Altmetric

Partager

More