Trying Tamarin on Applied Cryptography

Tamarin is a tool for checking cryptographic security protocols (such as TLS or WireGuard). In this post, I try it out on some (very old, but simple) protocols from Applied Cryptography . Table of Contents Introduction Key Exchange with Symmetric Cryptography Checking it's usable Checking it's secure Key Exchange with Public-Key Cryptography Interlock Protocol Key and Message Transmission Fixing…