Efficient Design and Evaluation of Countermeasures against Fault Attack with Formal Verification - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Efficient Design and Evaluation of Countermeasures against Fault Attack with Formal Verification

Résumé

This paper presents a formal verification framework and tool that evaluates the robustness of software countermeasures against fault-injection attacks. By modeling reference assembly code and its protected variant as automata, the framework can generate a set of equations for an SMT solver, the solutions of which represent possible attack paths. Using the tool we developed, we evaluated the robustness of state-of-the-art countermeasures against fault injection attacks. Based on insights gathered from this evaluation, we analyze any remaining weaknesses and propose applications of these countermeasures that are more robust.

Dates et versions

hal-01220291 , version 1 (26-10-2015)

Identifiants

Citer

Lucien Goubet, Karine Heydemann, Emmanuelle Encrenaz, Ronald de Keulenaer. Efficient Design and Evaluation of Countermeasures against Fault Attack with Formal Verification. 14th International conference Smart Card Research and Advanced Applications (CARDIS), Nov 2015, Bochum, Germany. pp.177-192, ⟨10.1007/978-3-319-31271-2_11⟩. ⟨hal-01220291⟩
163 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More