Automated Methods in Cryptographic Fault Analysis | lit.salon