File: Tamarin.zip ... -

Advanced post-quantum messaging security. Chip-and-pin (EMV): Security for credit card transactions. 2. Likely Contents of "Tamarin.zip"

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

The tamarin-prover program itself for various operating systems. Advanced post-quantum messaging security