Lab 7: prerequisites

1. Install  Docker CE from here
2. Run the docker image (automatic download):

   $ docker run -it --rm secunive/seclab:formal_verification
   $

3. The above command will start a linux container with the tamarin tool. To edit files use the nano editor from the command line.

Goto Task 1!