Saha S, Mukhopadhyay D, Dasgupta P. 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