Skip to main content
SpringerLink
Log in

Control-Flow Checking Using Binary Encoded Software Signatures

  • Conference paper
  • First Online:
Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering

Part of the book series: Lecture Notes in Electrical Engineering ((LNEE,volume 313))

  • 1948 Accesses

Abstract

Correct execution of a program source code is an essential part of the modern information systems. Due to various external causes, the process execution can fail and lead to unpredictable consequences. Proposed solution detects control-flow errors caused by a faulty execution of jump instructions, by the means of program execution controlling technique based on inserting software signatures to a source code. In this paper we are proposing a new algorithm for control-flow checking called CFCBS.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Borkar, S.: Designing Reliable Systems from Unreliable Components: the Challenge of Transistor Variability and Degradation. In: IEEE Micro, Vol. 25, (December 2005), pp. 10–16

    Google Scholar 

  2. Mahmmood, A., McCluskey, E.J.: Concurrent Error Detection Using Watchdog Processors - A Survey. In: IEEE Transactions on Computers, Vol. 37, No. 2, (February 1988), pp. 160–174.

    Google Scholar 

  3. Stallman, R. M., GCC Developer Comunity: GNU Compiler Collection Internals. Free Software Foundation, Inc., (2010).

    Google Scholar 

  4. Oh, N., Shirvani, P. P., McCluskey, E. J.: Control-Flow Checking by Software Signatures.

    Google Scholar 

Download references

Acknowledgment

This work was supported by the Grant No. 1/1105/11 of the Slovak VEGA Grant Agency.

Author information

Authors and Affiliations

  1. Faculty of Informatics and Information Technologies, Slovak University of Technology, Bratislava, 842 16, Slovakia

    H. Severínová, J. Abaffy & T. Krajčovič

Authors
  1. H. Severínová
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. Abaffy
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. T. Krajčovič
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Engineering and Computer Science, University of Bridgeport, Bridgeport, Connecticut, USA

    Tarek Sobh

  2. Computer Science and Engineering, University of Bridgeport, Bridgeport, Connecticut, USA

    Khaled Elleithy

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Severínová, H., Abaffy, J., Krajčovič, T. (2015). Control-Flow Checking Using Binary Encoded Software Signatures. In: Sobh, T., Elleithy, K. (eds) Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering. Lecture Notes in Electrical Engineering, vol 313. Springer, Cham. https://doi.org/10.1007/978-3-319-06773-5_46

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-06773-5_46

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-06772-8

  • Online ISBN: 978-3-319-06773-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation