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