Examples from "Modeling and Analyzing ..." book?

27 views
Skip to first unread message

William Harrison

unread,
May 29, 2025, 3:19:28 PMMay 29
to tamarin-prover
Hi-

     I have a stupid question but, luckily, I'm just the man to ask it. I'm reading through the draft of the forthcoming Tamarin book "Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide". There are a number of references to examples in the book that suggest that all the examples are available somewhere. E.g., "...available in input files Minimal_branch.spthy and Minimal_branch_alt.spthy" and the like. But I can't find these examples anywhere -- can you give me a pointer to them? They don't seem to be in any of the tamarin-prover GitHub repos.

Thanks in Advance,
Bill

Cas Cremers

unread,
May 29, 2025, 3:46:42 PMMay 29
to tamarin...@googlegroups.com
Hi Bill,

Sorry, this is a good point. We will make these available on the book's webpage asap. 
(I was hoping to rework the website in recent weeks, and this would be part of it, but I didn't get round to it yet. Probably we'll put them on there next week in the current website layout.)

Best,

Cas

--
You received this message because you are subscribed to the Google Groups "tamarin-prover" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tamarin-prove...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/tamarin-prover/2fd6aa2f-872d-4366-a81b-3f271f1932f1n%40googlegroups.com.

Cas Cremers

unread,
Jun 12, 2025, 3:28:38 PMJun 12
to tamarin-prover
Hi Bill and all,

I've just made these available now on the book webpage: https://tamarin-prover.com/book/
Let me know if this works for you.

Best,

Cas

Reply all
Reply to author
Forward
0 new messages