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 ...
The Tamarin Prover is an open-source tool used by researchers and security engineers to mathematically prove the security of cryptographic protocols. It has been instrumental in analyzing and supporting the development of major real-world protocols, such as: The foundation of modern web security. 5G-AKA: Security for 5G mobile networks. Files with the