@article{sauvage:hal-02287457, TITLE = {{Multi-Level Formal Analysis, A New Direction for Fault Injection Attack?}}, AUTHOR = {Sauvage, Laurent and Graba, Tarik and Porteboeuf, Thibault}, URL = {https://telecom-paris.hal.science/hal-02287457}, JOURNAL = {{Journal of Cryptographic Engineering}}, HAL_LOCAL_REFERENCE = {LS:JCEN-16}, YEAR = {2016}, MONTH = Nov, KEYWORDS = {Fault injection attack ; countermeasure design ; formal verification}, HAL_ID = {hal-02287457}, HAL_VERSION = {v1}, }