Title: Automated Methods in Cryptographic Fault Analysis