symcollab-theories (pypi): Generate and Verify Cryptographic Modes of Operation using Symbolic Methods
Keywords: automated-reasoning|crypto|cryptography|term-rewriting|unification