Automated Cryptographic Validation (ACV) Testing