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)
Licence
Loading...

Dates et versions

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

Licence

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

100 Consultations
465 Téléchargements

Altmetric

Partager

  • More