Cryptographic protocol verification with hax (via freddyb) — discussion

#cryptography #formalmethods