arrow
Return

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

delete2022-03-01
delete4
delete
OA
AI
G
Gilad Dar
G
Giorgio Di Natale *
O
Osnat Keren
DOI:10.1109/TC.2021.3057132delete
deleteOriginal
deleteShare
deleteSave
View PDF
Abstract

Abstract

En 中文
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.
Keywords:
Pipelines
Monitoring
Hardware
Process control
Measurement
Random access memory
Memory management
Embedded security
control flow checking
non-linear codes
signature
countermeasures
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

IEEE Transactions on Computers cover
IEEE Transactions on Computers
IF:
3.8
Papers:
5.3K
Citations:
9.8K

Organization

B
Bar Ilan University
Scholars:
9.7K
Papers: 8.5K
Citations: 59
C
communaute universite grenoble alpes
Scholars:
3.5W
Papers: 2.7W
Citations: 29