Description
Provides security protocol types and constraint solver support for the Tamarin prover. These pieces help represent theories and solve constraints that arise during symbolic protocol analysis.
It is useful for researchers, verification engineers, and tool developers working on formal security proofs. It is a specialized library component and relies on the broader Tamarin ecosystem.