On-chip control flow integrity check for real time embedded systems

Fardin Abdi Taghi Abad; Joel Van Der Woude; Yi Lu; Stanley Bak; Marco Caccamo; Lui Sha; Renato Mancuso; Sibin Mohan

doi:10.1109/CPSNA.2013.6614242

On-chip control flow integrity check for real time embedded systems

Fardin Abdi Taghi Abad, Joel Van Der Woude, Yi Lu, Stanley Bak, Marco Caccamo, Lui Sha, Renato Mancuso, Sibin Mohan

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

Abstract

Modern industrial plants, vehicles and other cyber-physical systems are increasingly being built as an aggregation of embedded platforms. Together with the soaring number of such systems and the current trends of increased connectivity, new security concerns are emerging. Classic approaches to security are not often suitable for embedded platforms. In this paper we propose a hardware based approach for checking the integrity of code flow of real-time tasks whit precisely predictable overheads that do not affect the critical path. Specifically, we employ a hardware module to perform control flow graph (CFG) validation at run-time of real-time component. For this purpose, we developed a binary-based, CFG generation tool. In addition, we also present our implementation of a CFG integrity checking module. The proposed approach is aimed at improving real-time systems security.

Original language	English (US)
Title of host publication	2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013
Publisher	IEEE Computer Society
Pages	26-31
Number of pages	6
ISBN (Print)	9781479907984
DOIs	https://doi.org/10.1109/CPSNA.2013.6614242
State	Published - 2013
Event	2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013 - Taipei, Taiwan, Province of China Duration: Aug 19 2013 → Aug 20 2013

Publication series

Name	2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013

Other

Other	2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013
Country	Taiwan, Province of China
City	Taipei
Period	8/19/13 → 8/20/13

ASJC Scopus subject areas

Computer Networks and Communications
Computer Science Applications

Access to Document

10.1109/CPSNA.2013.6614242

Fingerprint Dive into the research topics of 'On-chip control flow integrity check for real time embedded systems'. Together they form a unique fingerprint.

Cite this

Abad, F. A. T., Woude, J. V. D., Lu, Y., Bak, S., Caccamo, M., Sha, L., Mancuso, R., & Mohan, S. (2013). On-chip control flow integrity check for real time embedded systems. In 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013 (pp. 26-31). [6614242] (2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013). IEEE Computer Society. https://doi.org/10.1109/CPSNA.2013.6614242

On-chip control flow integrity check for real time embedded systems. / Abad, Fardin Abdi Taghi; Woude, Joel Van Der; Lu, Yi; Bak, Stanley; Caccamo, Marco ; Sha, Lui; Mancuso, Renato; Mohan, Sibin.

2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013. IEEE Computer Society, 2013. p. 26-31 6614242 (2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013).

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

Abad, FAT, Woude, JVD, Lu, Y, Bak, S, Caccamo, M , Sha, L, Mancuso, R & Mohan, S 2013, On-chip control flow integrity check for real time embedded systems. in 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013., 6614242, 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013, IEEE Computer Society, pp. 26-31, 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013, Taipei, Taiwan, Province of China, 8/19/13. https://doi.org/10.1109/CPSNA.2013.6614242

Abad FAT, Woude JVD, Lu Y, Bak S, Caccamo M , Sha L et al. On-chip control flow integrity check for real time embedded systems. In 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013. IEEE Computer Society. 2013. p. 26-31. 6614242. (2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013). https://doi.org/10.1109/CPSNA.2013.6614242

Abad, Fardin Abdi Taghi ; Woude, Joel Van Der ; Lu, Yi ; Bak, Stanley ; Caccamo, Marco ; Sha, Lui ; Mancuso, Renato ; Mohan, Sibin. / On-chip control flow integrity check for real time embedded systems. 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013. IEEE Computer Society, 2013. pp. 26-31 (2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013).

@inproceedings{160f65264d184ee3a505c03ebd37d453,

title = "On-chip control flow integrity check for real time embedded systems",

abstract = "Modern industrial plants, vehicles and other cyber-physical systems are increasingly being built as an aggregation of embedded platforms. Together with the soaring number of such systems and the current trends of increased connectivity, new security concerns are emerging. Classic approaches to security are not often suitable for embedded platforms. In this paper we propose a hardware based approach for checking the integrity of code flow of real-time tasks whit precisely predictable overheads that do not affect the critical path. Specifically, we employ a hardware module to perform control flow graph (CFG) validation at run-time of real-time component. For this purpose, we developed a binary-based, CFG generation tool. In addition, we also present our implementation of a CFG integrity checking module. The proposed approach is aimed at improving real-time systems security.",

author = "Abad, {Fardin Abdi Taghi} and Woude, {Joel Van Der} and Yi Lu and Stanley Bak and Marco Caccamo and Lui Sha and Renato Mancuso and Sibin Mohan",

note = "Copyright: Copyright 2014 Elsevier B.V., All rights reserved.; 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013 ; Conference date: 19-08-2013 Through 20-08-2013",

year = "2013",

doi = "10.1109/CPSNA.2013.6614242",

language = "English (US)",

isbn = "9781479907984",

series = "2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013",

publisher = "IEEE Computer Society",

pages = "26--31",

booktitle = "2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013",

}

TY - GEN

T1 - On-chip control flow integrity check for real time embedded systems

AU - Abad, Fardin Abdi Taghi

AU - Woude, Joel Van Der

AU - Lu, Yi

AU - Bak, Stanley

AU - Caccamo, Marco

AU - Sha, Lui

AU - Mancuso, Renato

AU - Mohan, Sibin

PY - 2013

Y1 - 2013

N2 - Modern industrial plants, vehicles and other cyber-physical systems are increasingly being built as an aggregation of embedded platforms. Together with the soaring number of such systems and the current trends of increased connectivity, new security concerns are emerging. Classic approaches to security are not often suitable for embedded platforms. In this paper we propose a hardware based approach for checking the integrity of code flow of real-time tasks whit precisely predictable overheads that do not affect the critical path. Specifically, we employ a hardware module to perform control flow graph (CFG) validation at run-time of real-time component. For this purpose, we developed a binary-based, CFG generation tool. In addition, we also present our implementation of a CFG integrity checking module. The proposed approach is aimed at improving real-time systems security.

AB - Modern industrial plants, vehicles and other cyber-physical systems are increasingly being built as an aggregation of embedded platforms. Together with the soaring number of such systems and the current trends of increased connectivity, new security concerns are emerging. Classic approaches to security are not often suitable for embedded platforms. In this paper we propose a hardware based approach for checking the integrity of code flow of real-time tasks whit precisely predictable overheads that do not affect the critical path. Specifically, we employ a hardware module to perform control flow graph (CFG) validation at run-time of real-time component. For this purpose, we developed a binary-based, CFG generation tool. In addition, we also present our implementation of a CFG integrity checking module. The proposed approach is aimed at improving real-time systems security.

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

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

U2 - 10.1109/CPSNA.2013.6614242

DO - 10.1109/CPSNA.2013.6614242

M3 - Conference contribution

AN - SCOPUS:84887362111

SN - 9781479907984

T3 - 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013

SP - 26

EP - 31

BT - 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013

PB - IEEE Computer Society

T2 - 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013

Y2 - 19 August 2013 through 20 August 2013

ER -