“ExpFault: An Automated Framework for Exploitable Fault Characterization in Block Ciphers” (2018) IACR Transactions on Cryptographic Hardware and Embedded Systems, 2018(2), pp. 242–276. doi:10.13154/tches.v2018.i2.242-276.