Hardware-Assisted Program Execution Integrity: HAPEI

Ronan Lashermes 1 Héìène Le Bouder 2 Gaël Thomas 3
2 OCIF - Objets communicants pour l'Internet du futur
IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire, IRISA_D2 - RÉSEAUX, TÉLÉCOMMUNICATION ET SERVICES
3 XLIM-DMI - DMI
XLIM - XLIM
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.
Type de document :
Communication dans un congrès
NordSec, Nov 2018, Oslo, Norway
Liste complète des métadonnées

https://hal.inria.fr/hal-01978181
Contributeur : Ronan Lashermes <>
Soumis le : vendredi 11 janvier 2019 - 12:46:01
Dernière modification le : dimanche 13 janvier 2019 - 01:11:10

Fichier

NordSec2018_5.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01978181, version 1

Citation

Ronan Lashermes, Héìène Le Bouder, Gaël Thomas. Hardware-Assisted Program Execution Integrity: HAPEI. NordSec, Nov 2018, Oslo, Norway. 〈hal-01978181〉

Partager

Métriques

Consultations de la notice

41

Téléchargements de fichiers

12