Vitalsource Technologies, Inc. Automated Methods In Cryptographic Fault Analysis