Cipher text authentication with HMAC