Nonlinear Codes for Control Flow Checking

Giorgio Di Natale, Osnat Keren

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

3 Scopus citations


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
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
ISSN (Print)1530-1877
ISSN (Electronic)1558-1780


Conference2020 IEEE European Test Symposium, ETS 2020

Bibliographical note

Publisher Copyright:
© 2020 IEEE.


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

Cite this