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 MoreMetadata
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.
Published in: 2016 11th International Design & Test Symposium (IDT)
Date of Conference: 18-20 December 2016
Date Added to IEEE Xplore: 06 February 2017
ISBN Information:
Electronic ISSN: 2162-061X