Hardware-Assisted Program Execution Integrity: HAPEI - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2018

Hardware-Assisted Program Execution Integrity: HAPEI

Abstract

Even if a software is proven sound and secure, an attacker can still insert vulnerabilities with fault attacks. In this paper, we propose HAPEI, an Instruction Set Randomization scheme to guarantee Program Execution Integrity even in the presence of hardware fault injection. In particular, we propose a new solution to the multi-predecessors problem. This scheme is then implemented as a hardened CHIP-8 virtual machine, able to ensure program execution integrity, to prove the viability and to explore the limits of HAPEI.
Fichier principal
Vignette du fichier
NordSec2018_5.pdf (257.5 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01978181 , version 1 (11-01-2019)

Identifiers

Cite

Ronan Lashermes, Hélène Le Bouder, Gaël Thomas. Hardware-Assisted Program Execution Integrity: HAPEI. NordSec 2018 : 23rd Nordic Conference on Secure IT Systems, Nov 2018, Oslo, Norway. ⟨10.1007/978-3-030-03638-6_25⟩. ⟨hal-01978181⟩
101 View
206 Download

Altmetric

Share

Gmail Facebook X LinkedIn More