tamarin-prover / teaching

Teaching materials related to the Tamarin Prover

http://tamarin-prover.github.io/

tamarin-prover/teaching Issues

"DEMO" slides need unfolding, or, ideally, videos
Updated 6 years ago2
Need to add the prerequisites/preparations mail we sent around previously.
Updated 7 years ago
We need a high-level "day overview" with rough times
Updated 7 years ago
Exercises could use separate handout sheets
Updated 7 years ago