Text this: Automated Methods in Cryptographic Fault Analysis