In the course of my doctorate, I am working on formal verification.
I am learning Tamarin for this purpose.
In this repo I document my first steps.
| Type | Name |
|---|---|
| Tutorial Exercise | Tamarin Workshop by Felix Linker |
| Tutorial Exercise | Tamarin Toy Protocol by Benjamin Kiesl |
| Tutorial Exercise | Tamarin Tutorial by Sofia Giampietro |
| Exercises | Tamarin Crypto Engineering by Verimag |
| Manual | Tamarin Manual by the Tamarin Team |
| Examples | Tamarin Examples built by me |