Use HMAC-SHA512 for public key verification

Change-Id: I0f547d11cdbbf93bd47ce9cedca29a3914759f18