| Title | Countermeasures Optimization in Multiple Fault-Injection Context |
| Publication Type | Conference Paper |
| Year of Publication | 2020 |
| Authors | Boespflug, Etienne, Ene, Cristian, Mounier, Laurent, Potet, Marie-Laure |
| Conference Name | 2020 Workshop on Fault Detection and Tolerance in Cryptography (FDTC) |
| Date Published | sep |
| Keywords | Benchmark testing, code analysis, counter-measures optimization, cyber physical systems, dynamic-symbolic execution, Hardware, Human Behavior, human factors, Metrics, multiple fault diagnosis, multiple fault-injection, pubcrawl, resilience, Resiliency, Runtime, security, Semantics, Software, Tools |
| Abstract | Fault attacks consist in changing the program behavior by injecting faults at run-time, either at hardware or at software level. Their goal is to change the correct progress of the algorithm and hence, either to allow gaining some privilege access or to allow retrieving some secret information based on an analysis of the deviation of the corrupted behavior with respect to the original one. Countermeasures have been proposed to protect embedded systems by adding spatial, temporal or information redundancy at hardware or software level. First we define Countermeasures Check Point (CCP) and CCPs-based countermeasures as an important subclass of countermeasures. Then we propose a methodology to generate an optimal protection scheme for CCPs-based countermeasure. Finally we evaluate our work on a benchmark of code examples with respect to several Control Flow Integrity (CFI) oriented existing protection schemes. |
| DOI | 10.1109/FDTC51366.2020.00011 |
| Citation Key | boespflug_countermeasures_2020 |
Countermeasures Optimization in Multiple Fault-Injection Context