Saha, Sayandeep, et al. “ExpFault: An Automated Framework for Exploitable Fault Characterization in Block Ciphers”. IACR Transactions on Cryptographic Hardware and Embedded Systems, vol. 2018, no. 2, May 2018, pp. 242-76, doi:10.13154/tches.v2018.i2.242-276.