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