Tamarin Model of the cryptographic domain validation protocol - View it on GitHub