added constant randomization with HMAC as PRF- one random key used, ctr incremented for every msg