Automated Methods in Cryptographic Fault Analysis. ([2019])