“ExpFault: An Automated Framework for Exploitable Fault Characterization in Block Ciphers”, TCHES, vol. 2018, no. 2, pp. 242–276, May 2018, doi: 10.13154/tches.v2018.i2.242-276.