CMAC Verification work