Automated Cryptographic Transformations