Cryptographic protocol analysis for real-world protocols. - View it on GitHub