Nonlinear Codes for Control Flow Checking

Giorgio Di Natale; Osnat Keren

doi:10.1109/ETS48528.2020.9131592

Nonlinear Codes for Control Flow Checking

Giorgio Di Natale, Osnat Keren

Bar-Ilan University - The Alexander Kofkin Faculty of Engineering

Université Grenoble Alpes

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

4 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 language	English
Title of host publication	Proceedings - 2020 IEEE European Test Symposium, ETS 2020
Publisher	Institute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)	9781728143125
DOIs	https://doi.org/10.1109/ETS48528.2020.9131592
State	Published - May 2020
Event	2020 IEEE European Test Symposium, ETS 2020 - Tallinn, Estonia Duration: 25 May 2020 → 29 May 2020

Publication series

Name	Proceedings of the European Test Workshop
Volume	2020-May
ISSN (Print)	1530-1877
ISSN (Electronic)	1558-1780

Conference

Conference	2020 IEEE European Test Symposium, ETS 2020
Country/Territory	Estonia
City	Tallinn
Period	25/05/20 → 29/05/20

Bibliographical note

Publisher Copyright:
© 2020 IEEE.

Access to Document

10.1109/ETS48528.2020.9131592

Cite this

@inproceedings{0059d69300fe412da9d296dc8caf94c6,

title = "Nonlinear Codes for Control Flow Checking",

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.",

author = "Natale, {Giorgio Di} and Osnat Keren",

note = "Publisher Copyright: {\textcopyright} 2020 IEEE.; 2020 IEEE European Test Symposium, ETS 2020 ; Conference date: 25-05-2020 Through 29-05-2020",

year = "2020",

month = may,

doi = "10.1109/ETS48528.2020.9131592",

language = "אנגלית",

series = "Proceedings of the European Test Workshop",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

booktitle = "Proceedings - 2020 IEEE European Test Symposium, ETS 2020",

address = "ארצות הברית",

}

Natale, GD & Keren, O 2020, Nonlinear Codes for Control Flow Checking. in Proceedings - 2020 IEEE European Test Symposium, ETS 2020., 9131592, Proceedings of the European Test Workshop, vol. 2020-May, Institute of Electrical and Electronics Engineers Inc., 2020 IEEE European Test Symposium, ETS 2020, Tallinn, Estonia, 25/05/20. https://doi.org/10.1109/ETS48528.2020.9131592

Nonlinear Codes for Control Flow Checking. / Natale, Giorgio Di; Keren, Osnat.
Proceedings - 2020 IEEE European Test Symposium, ETS 2020. Institute of Electrical and Electronics Engineers Inc., 2020. 9131592 (Proceedings of the European Test Workshop; Vol. 2020-May).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Nonlinear Codes for Control Flow Checking

AU - Natale, Giorgio Di

AU - Keren, Osnat

PY - 2020/5

Y1 - 2020/5

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85089144628&partnerID=8YFLogxK

U2 - 10.1109/ETS48528.2020.9131592

DO - 10.1109/ETS48528.2020.9131592

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:85089144628

T3 - Proceedings of the European Test Workshop

BT - Proceedings - 2020 IEEE European Test Symposium, ETS 2020

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2020 IEEE European Test Symposium, ETS 2020

Y2 - 25 May 2020 through 29 May 2020

ER -

Nonlinear Codes for Control Flow Checking

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this