Email Record: Automated methods in cryptographic fault analysis /