Cryptographic protocol verification with hax