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