Saha, S.; Mukhopadhyay, D.; Dasgupta, P. ExpFault: An Automated Framework for Exploitable Fault Characterization in Block Ciphers. TCHES 2018, 2018, 242-276.