Connecting computational and symbolic crypto models - View it on GitHub