Tamarin Workshop

This repository provides files for a 2h Tamarin workshop.

Installation

Here's a tl;dr version of the full installation instructions:

1. Install brew.
2. Run brew install tamarin-prover/tap/tamarin-prover .

For Windows, use WSL.

If you want to use syntax highlighting, we suggest using Visual Studio Code with this extension (search for extension with ID gilcu3.tamarin).

Launching Tamarin

For this workshop, you will want to launch tamarin with certain folders. For example, to launch Tamarin for the first exercise, execute this command:

tamarin-prover interactive ex1/

Make sure that you check the output for warnings. If there are none, navigate to http://127.0.0.1:3001 to see the GUI.