Nonlinear Codes for Control Flow Checking - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Nonlinear Codes for Control Flow Checking

Résumé

A hardware-based control flow monitoring technique enables to detect both errors in the control flow and the instruction stream being executed on a processor. However, as was shown in recent papers, these techniques fail to detect malicious carefully-tuned manipulation of the instruction stream in a basic block. This paper presents a non-linear encoder and checker that can cope with this weakness.
Fichier principal
Vignette du fichier
ETS2020 - Control Flow - Camera Ready.pdf (652.41 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02899964 , version 1 (16-07-2020)

Licence

Paternité - Pas d'utilisation commerciale

Identifiants

Citer

Giorgio Di Natale, O. Keren. Nonlinear Codes for Control Flow Checking. IEEE European Test Symposium (ETS 2020), May 2020, Tallinn, Estonia. ⟨10.1109/ETS48528.2020.9131592⟩. ⟨hal-02899964⟩

Collections

UGA CNRS TIMA
62 Consultations
226 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More