Hou, X.; Breier, J.; Zhang, F.; Liu, Y. Fully Automated Differential Fault Analysis on Software Implementations of Block Ciphers. TCHES 2019, 2019, 1-29.