Nonlinear Code-Based Low-Overhead Fine-Grained Control Flow Checking

Gilad Dar, Giorgio Di Natale, Osnat Keren

Research output: Contribution to journalArticlepeer-review

2 Scopus citations


A hardware-based control flow monitoring technique enables the detection of errors in both the control flow and the instruction stream executed on a processor. However, as shown in recent publications, these techniques fail to detect malicious carefully-tuned manipulations of the instruction stream in a basic block. This article presents a non-linear encoder and checker that can cope with this weakness. It is a MAC based control flow checker that has the advantage of working with basic blocks of variable length, can detect every error, and performs the computation in real-time. The architecture can easily be modified to support different signature size and error masking probabilities.

Original languageEnglish
Pages (from-to)658-669
Number of pages12
JournalIEEE Transactions on Computers
Issue number3
StatePublished - 1 Mar 2022

Bibliographical note

Publisher Copyright:
© 1968-2012 IEEE.


  • Control flow checking
  • Countermeasures
  • Embedded security
  • Non-linear codes
  • Signature


Dive into the research topics of 'Nonlinear Code-Based Low-Overhead Fine-Grained Control Flow Checking'. Together they form a unique fingerprint.

Cite this