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 -