Nonlinear Codes for Control Flow Checking

被引：0

作者：

Di Natale, Giorgio ^{[1
]}

Keren, Osnat ^{[2
]}

机构：

[1] Univ Grenoble Alpes, TIMA, Grenoble INP, CNRS, F-38000 Grenoble, France

[2] Bar Ilan Univ, Fac Engn, Ramat Gan, Israel

来源：

2020 IEEE EUROPEAN TEST SYMPOSIUM (ETS 2020) | 2020年

关键词：

EXECUTION;

D O I：

10.1109/ets48528.2020.9131592

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

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.

引用

页数：6

共 50 条

[1] Control flow checking and recovering by compiler signatures and hardware checking
Gong, Rui
Chen, Wei
Liu, Fang
Dai, Kui
Wang, Zhiying
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2009, 46 (02): : 345 - 351
[2] Control flow checking in multitasking systems
Technical Univ of Budapest, Budapest, Hungary
Period Polytech Electr Eng, 1 (27-36):
[3] Control flow error checking with ISIS
Rodríguez, R
Serrano, JJ
EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2005, 3820 : 659 - 670
[4] Control Flow Checking or Not? (for Soft Errors)
Rhisheekesan, Abhishek
Jeyapaul, Reiley
Shrivastava, Aviral
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2019, 18 (01)
[5] Control Flow Checking at Virtual Edges
Liu, LiPing
Ci, LinLin
Liu, Wei
Yang, Hui
KSII TRANSACTIONS ON INTERNET AND INFORMATION SYSTEMS, 2017, 11 (01): : 396 - 413
[6] AN APPROACH TO CONCURRENT CONTROL FLOW CHECKING
YAU, SS
CHEN, FC
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (02) : 126 - 137
[7] An improved CFCSS Control Flow Checking Algorithm
Wu, Yan-Xia
Gu, Guo-Chang
Wang, Ke-Hui
2007 INTERNATIONAL WORKSHOP ON ANTI-COUNTERFEITING, SECURITY, AND IDENTIFICATION, 2007, : 284 - +
[8] Algebraic techniques for the optimisation of control flow checking
Noubir, G
Choueiry, BY
PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, 1996, : 128 - 137
[9] Control-flow checking by software signatures
Oh, N
Shirvani, PP
McCluskey, EJ
IEEE TRANSACTIONS ON RELIABILITY, 2002, 51 (01) : 111 - 122
[10] Survey of control flow checking using software
School of Computer Science and Technology, Harbin Institute of Technology, Harbin 150001, China
不详
Harbin Gongye Daxue Xuebao, 2008, 3 (407-412+482):

← 1 2 3 4 5 →