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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/hal-01978181
Contributor : Ronan Lashermes <>
Submitted on : Friday, January 11, 2019 - 12:46:01 PM
Last modification on : Friday, September 13, 2019 - 9:50:55 AM
Long-term archiving on : Friday, April 12, 2019 - 2:29:15 PM

File

NordSec2018_5.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01978181, version 1

Citation

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. ⟨hal-01978181⟩

Share

Metrics

Record views

132

Files downloads

243