KeyVerification tests