Taking into account indirect jumps or calls in continuous control-flow checking | IEEE Conference Publication | IEEE Xplore

Taking into account indirect jumps or calls in continuous control-flow checking


Abstract:

Control-flow checking (CFC) is one of the main approaches to monitor the behavior of a microprocessor-based system without specific assumptions on error models (e.g., sin...Show More

Abstract:

Control-flow checking (CFC) is one of the main approaches to monitor the behavior of a microprocessor-based system without specific assumptions on error models (e.g., single bit flips). Many approaches have been proposed and evaluated, but none takes explicitly into account the possibility of indirect jumps or calls for which destination addresses are not hard-coded. This paper discusses first the need for an approach taking care of such sequence breaks. Then an approach is proposed to enhance current control-flow checking schemes.
Date of Conference: 18-20 December 2016
Date Added to IEEE Xplore: 06 February 2017
ISBN Information:
Electronic ISSN: 2162-061X
Conference Location: Hammamet, Tunisia

References

References is not available for this document.