About

This container runs the Tamarin prover which is being used for security protocol verification. The tool was initially developed at ETH Zürich in Switzerland and is under continuing development on Github.

Many thanks to eikendev for providing us with this Dockerfile and instructions!

Usage

We mainly use Podman to run this image because it's very convenient to run as a normal user. It aims to provide compatibility with the CLI of Docker, so you should be able to adjust this to your needs. Here is how we run the container.

podman run \
	--rm \
	-P \
	-v ./workspace:/workspace \
	--security-opt label=disable \
	--net=host \
	infsec/tamarin-prover

As you can see, a volume is being mapped into /workspace. When mapping files from your file system, make sure to give those files appropriate permissions.

The --security-opt flag should only be necessary if your system runs SELinux.

When the container is up, you can visit http://localhost:3001 and start working on your proofs.