Nonlinear Codes for Control Flow Checking

Giorgio Di Natale, Osnat Keren

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

3 Scopus citations

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - 2020 IEEE European Test Symposium, ETS 2020
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9781728143125
DOIs
StatePublished - May 2020
Event2020 IEEE European Test Symposium, ETS 2020 - Tallinn, Estonia
Duration: 25 May 202029 May 2020

Publication series

NameProceedings of the European Test Workshop
Volume2020-May
ISSN (Print)1530-1877
ISSN (Electronic)1558-1780

Conference

Conference2020 IEEE European Test Symposium, ETS 2020
Country/TerritoryEstonia
CityTallinn
Period25/05/2029/05/20

Bibliographical note

Publisher Copyright:
© 2020 IEEE.

Fingerprint

Dive into the research topics of 'Nonlinear Codes for Control Flow Checking'. Together they form a unique fingerprint.

Cite this