Cryptographic Protocol Shapes Analyzer - View it on GitHub