ExpFault: An Automated Framework for Exploitable Fault Characterization in Block Ciphers. TCHES 2018, 2018 (2), 242-276. https://doi.org/10.13154/tches.v2018.i2.242-276.