Loading...
Please wait, while we are loading the content...
Hardware-Assisted Program Execution Integrity: HAPEI
| Content Provider | Hyper Articles en Ligne (HAL) |
|---|---|
| Author | Lashermes, Ronan Le Bouder, Hélène Thomas, Gaël |
| Copyright Year | 2018 |
| 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. |
| Related Links | https://inria.hal.science/hal-01978181/file/NordSec2018_5.pdf |
| ISBN | 9783030036386 |
| Conference Proceedings | NordSec 2018 : 23rd Nordic Conference on Secure IT Systems |
| DOI | 10.1007/978-3-030-03638-6_25 |
| Language | English |
| Publisher | HAL CCSD |
| Access Restriction | Open |
| Subject Keyword | Program Execution Integrity Hardware Fault Attacks Control Flow Integrity Instruction Set Randomization Computer Science [cs] Cryptography and Security [cs.CR] |
| Content Type | Text |
| Resource Type | Conference Proceedings |
| Subject | Medicine |
