Implement AES CTR ciphers in the default provider