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 proceedingConference 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 languageEnglish (US)
Title of host publication2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013
PublisherIEEE Computer Society
Pages26-31
Number of pages6
ISBN (Print)9781479907984
DOIs
StatePublished - 2013
Event2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013 - Taipei, Taiwan, Province of China
Duration: Aug 19 2013Aug 20 2013

Publication series

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

Other

Other2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013
CountryTaiwan, Province of China
CityTaipei
Period8/19/138/20/13

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Computer Science Applications

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