VerifMSI: Practical Verification of Hardware and Software Masking Schemes Implementations - Archive ouverte HAL
Communication Dans Un Congrès Année : 2023

VerifMSI: Practical Verification of Hardware and Software Masking Schemes Implementations

Résumé

Side-Channel Attacks are powerful attacks which can recover secret information in a cryptographic device by analysing physical quantities such as power consumption. Masking is a common countermeasure to these attacks which can be applied in software and hardware, and consists in splitting the secrets in several parts. Masking schemes and their implementations are often not trivial, and require the use of automated tools to check for their correctness. In this work, we propose a new practical tool named VerifMSI which extends an existing verification tool called LeakageVerif targeting software schemes. Compared to LeakageVerif, VerifMSI includes hardware constructs, namely gates and registers, what allows to take glitch propagation into account. Moreover, it includes a new representation of the inputs, making it possible to verify three existing security properties (Non-Interference, Strong Non-Interference, Probe Isolating Non-Interference) as well as a newly defined one called Relaxed Non-Interference, compared to the unique Threshold Probing Security verified in LeakageVerif. Finally, optimisations have been integrated in VerifMSI in order to speed up the verification. We evaluate VerifMSI on a set of 9 benchmarks from the literature, focusing on the hardware descriptions, and show that it performs well both in terms of accuracy and scalability.
Fichier principal
Vignette du fichier
VerifMSI.pdf (567.14 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04192584 , version 1 (31-08-2023)

Identifiants

Citer

Quentin Meunier, Abdul Taleb. VerifMSI: Practical Verification of Hardware and Software Masking Schemes Implementations. 20th International Conference on Security and Cryptography, Jul 2023, Rome, Italy. pp.520-527, ⟨10.5220/0012138600003555⟩. ⟨hal-04192584⟩
86 Consultations
75 Téléchargements

Altmetric

Partager

More