Verifying RC4