<p>Had a go at verifying some very old security protocols from Applied Cryptography using Tamarin: <a href="https://roscidus.com/blog/blog/2025/04/09/tamarin/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">roscidus.com/blog/blog/2025/04</span><span class="invisible">/09/tamarin/</span></a> - it seems pretty good at finding problems!</p>