File: Tamarin.zip ... -

Files with the .spthy extension, which define the protocol logic and security properties being tested.

Less frequently, the name may relate to other technical projects: Initial Example - Tamarin Prover Manual File: Tamarin.zip ...

User manuals, tutorials, or workshop materials in PDF or Markdown format. Files with the