Communication Dans Un Congrès Année : 2025

Code Encryption for Confidentiality and Execution Integrity down to Control Signals

Résumé

Embedded devices face software and physical fault injections to either extract or tamper with code in memory. The code execution and code intellectual property are threatened. Some existing countermeasures provide Control Flow Integrity (CFI) with the confidentiality and integrity of the instructions by chaining all of them through a cryptographic encryption primitive. While tampering with instructions in memory is prevented, fault injection attacks can still target the microarchitecture.

In this work, we introduce a new scheme by chaining the instructions through an encryption with associated control signals. This provides additional authenticity and integrity properties down to the control signals of the microarchitecture's pipeline. The instructions are stored encrypted in memory. At runtime, prior to being executed, the fetched instructions are decrypted depending on the control signals in the pipeline and all the previously decrypted instructions. In case of fault injections, targeting either instructions or control signals, the decryption process fails and generates random instructions, instead of the original ones. This quickly leads to an invalid instruction exception: the fault attack is thwarted.

Our scheme was implemented on FPGA, into the 4-stage pipeline of the RISC-V CV32E40P core, using Ascon for encryption/decryption. When running and validating Embench program executions, we observed at least: a LUT overhead of 28.9%, a reduction of the maximum core frequency of about -29.6%. While patches have to be stored, there is neither clock cycle overhead nor instructions inserted in the code.

Fichier principal
Vignette du fichier
cfi_paper_host_hal_version_PUBLISHED_VERSION.pdf (484.19 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04919136 , version 1 (29-01-2025)

Licence

Identifiants

  • HAL Id : hal-04919136 , version 1

Citer

Theophile Gousselot, Jean-Max Dutertre, Olivier Potin, Jean-Baptiste Rigaud. Code Encryption for Confidentiality and Execution Integrity down to Control Signals. IEEE International Symposium on Hardware Oriented Security and Trust (HOST), May 2025, San Jose, United States. ⟨hal-04919136⟩
268 Consultations
536 Téléchargements

Partager

  • More