research-article

Combining control flow checking for safety and security in embedded software: work-in-progress

Author:

Robert GoldAuthors Info & Claims

EMSOFT '17: Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion

Article No.: 5, Pages 1 - 2

https://doi.org/10.1145/3125503.3125563

Published: 15 October 2017 Publication History

Get Access

Abstract

In this paper we propose a software based method to detect control flow errors in embedded software, which are caused by transient faults or are inserted by attackers with the aim to perform return oriented programming.

References

[1]

F.A.T. Abad, J. van der Woude, Y. Lu, S. Bak, M. Caccamo, L. Sha, R. Mancuso, and S. Mohan. 2013. On-Chip Control Flow Integrity Check for Real Time Embedded Systems. 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA), Taipe, Taiwan, 19. - 20.08.2013.

Crossref

Google Scholar

[2]

M. Abadi, M. Budiu, Ú. Erlingsson, and J. Ligatti. 2009. Control-Flow Integrity Principles, Implementations, and Applications. ACM Transactions on Information and System Security 13, 4:1--4:40.

Digital Library

Google Scholar

[3]

S.A. Asghari, H. Taheri, H. Pedram, and O. Kaynak. 2014. Software-Based Control Flow Checking against Transient Faults in Industrial Environments. IEEE Transactions on Industrial Informatics 10(1), 481--490.

Crossref

Google Scholar

[4]

W. Chao, F. Zhongchuan, C. Hongsong, B. Wei, L. Bin, C. Lin, Z. Zexu, W. Yuying, and C. Gang. 2010. CFCSS without Aliasing for SPARC Architecture. 10th IEEE International Conference on Computer and Information Technology (CIT 2010), 29.06. - 01.07.2010, 2094--2100.

Digital Library

Google Scholar

[5]

N. Farazmand, M. Fazeli, and S.G. Miremadi. 2008. FEDC: Control Flow Error Detection and Correction for Embedded Systems Without Program Interruption. Proceedings of the Third International Conference on Availability, Reliability and Security (ARES 08), Barcelona, Spain, 04. - 07.03.2008, 33--38.

Digital Library

Google Scholar

[6]

N. Oh, P.P. Shirvani, and E.J. McCluskey. 2002. Control-Flow Checking by Software Signatures. IEEE Transactions on Reliability 51, 111--122.

Crossref

Google Scholar

Cited By

View all

Amininasab MPatooghy AFazeli M(2023)SingAll: Scalable Control Flow Checking for Multi-Process Embedded Systems2023 13th International Conference on Computer and Knowledge Engineering (ICCKE)10.1109/ICCKE60553.2023.10326306(042-047)Online publication date: 1-Nov-2023
https://doi.org/10.1109/ICCKE60553.2023.10326306

Index Terms

Combining control flow checking for safety and security in embedded software: work-in-progress
1. Computer systems organization
  1. Embedded and cyber-physical systems
    1. Embedded systems
      1. Embedded software
2. Software and its engineering
  1. Software organization and properties
    1. Extra-functional properties
      1. Software safety

Recommendations

Concepts for run-time and error-resilient control flow checking of embedded RISC CPUs

In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions (CFI) issued during the execution of programs for embedded RISC CPUs. Our proposed methodology is able to detect at run-time any error of ...
Verification of Concurrent Control Flow in Distributed Computer Systems

An approach to verifying control flow in distributed computer systems (DCS) is presented.The approach is based on control flow checking among software components distributed over processors and cooperating among them.In this approach, control flow ...
An Approach to Concurrent Control Flow Checking

A control flow checking scheme capable of detecting control flow errors of programs resulting from software coding errors, hardware malfunctions, or memory mutilation during the execution of the program is presented. In this approach, the program is ...

Comments

Information & Contributors

Information

Published In

EMSOFT '17: Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion

October 2017

17 pages

ISBN:9781450351867

DOI:10.1145/3125503

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 October 2017

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ESWEEK'17

ESWEEK'17: THIRTEENTH EMBEDDED SYSTEM WEEK

October 15 - 20, 2017

Seoul, Republic of Korea

Acceptance Rates

Overall Acceptance Rate 60 of 203 submissions, 30%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
92
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)1

Reflects downloads up to 29 Jul 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Amininasab MPatooghy AFazeli M(2023)SingAll: Scalable Control Flow Checking for Multi-Process Embedded Systems2023 13th International Conference on Computer and Knowledge Engineering (ICCKE)10.1109/ICCKE60553.2023.10326306(042-047)Online publication date: 1-Nov-2023
https://doi.org/10.1109/ICCKE60553.2023.10326306

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Concepts for run-time and error-resilient control flow checking of embedded RISC CPUs

Verification of Concurrent Control Flow in Distributed Computer Systems

An Approach to Concurrent Control Flow Checking

Comments

Published In

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Concepts for run-time and error-resilient control flow checking of embedded RISC CPUs

Verification of Concurrent Control Flow in Distributed Computer Systems

An Approach to Concurrent Control Flow Checking

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Get Access

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations