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. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1109/IDT.2016.7843027 | 2016 11th International Design & Test Symposium (IDT) |
Keywords | Field | DocType |
Control flow checking,indirect jumps,indirect calls | Computer science,Control flow,Real-time computing | Conference |
ISSN | ISBN | Citations |
2162-061X | 978-1-5090-4901-1 | 0 |
PageRank | References | Authors |
0.34 | 8 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Lydie Terras | 1 | 0 | 0.34 |
Yannick Teglia | 2 | 65 | 8.42 |
Michel Agoyan | 3 | 87 | 7.51 |
Régis Leveugle | 4 | 354 | 44.83 |