S. Saha, D. Mukhopadhyay, and P. Dasgupta, “ExpFault: An Automated Framework for Exploitable Fault Characterization in Block Ciphers”, TCHES, vol. 2018, no. 2, pp. 242–276, May 2018.