XFC: A framework for eXploitable Fault Characterization in block ciphers
We present a framework that would analyze block ciphers for their vulnerabilities to faults and automatically predict whether a differential fault attack would be successful. The framework, which we call XFC, uses colors to analyze the fault propagation and exploitability in the cipher. XFC would be able to (a) predict the key bits that can be derived by the fault attack and (b) estimate the offline complexity.
P. Khanna, C. Rebeiro and A. Hazra, “XFC: A framework for eXploitable Fault Characterization in block ciphers,” 2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC), 2017, pp. 1-6, doi: 10.1145/3061639.3062340. https://ieeexplore.ieee.org/document/8060292