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