├── .gitignore ├── LICENSE ├── README.md ├── Tamarin basics - dependency graphs.pdf ├── cheatsheet.md ├── ex1 ├── README.md └── exSenc.spthy ├── ex2 ├── README.md └── exADH.spthy ├── ex3 ├── OAuth.md ├── README.md └── exOAuth.spthy ├── slides.pdf └── solutions ├── TCP.spthy ├── colors.spthy ├── exADH-kn.spthy ├── exADH.spthy ├── exOAuth-step3.spthy ├── exOAuth-step4.spthy └── exSenc.spthy /.gitignore: -------------------------------------------------------------------------------- 1 | **/*.aes 2 | .vscode/ 3 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/felixlinker/tamarin-workshop/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/felixlinker/tamarin-workshop/HEAD/README.md -------------------------------------------------------------------------------- /Tamarin basics - dependency graphs.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/felixlinker/tamarin-workshop/HEAD/Tamarin basics - dependency graphs.pdf -------------------------------------------------------------------------------- /cheatsheet.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/felixlinker/tamarin-workshop/HEAD/cheatsheet.md -------------------------------------------------------------------------------- /ex1/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/felixlinker/tamarin-workshop/HEAD/ex1/README.md -------------------------------------------------------------------------------- /ex1/exSenc.spthy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/felixlinker/tamarin-workshop/HEAD/ex1/exSenc.spthy -------------------------------------------------------------------------------- /ex2/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/felixlinker/tamarin-workshop/HEAD/ex2/README.md -------------------------------------------------------------------------------- /ex2/exADH.spthy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/felixlinker/tamarin-workshop/HEAD/ex2/exADH.spthy -------------------------------------------------------------------------------- /ex3/OAuth.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/felixlinker/tamarin-workshop/HEAD/ex3/OAuth.md -------------------------------------------------------------------------------- /ex3/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/felixlinker/tamarin-workshop/HEAD/ex3/README.md -------------------------------------------------------------------------------- /ex3/exOAuth.spthy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/felixlinker/tamarin-workshop/HEAD/ex3/exOAuth.spthy -------------------------------------------------------------------------------- /slides.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/felixlinker/tamarin-workshop/HEAD/slides.pdf -------------------------------------------------------------------------------- /solutions/TCP.spthy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/felixlinker/tamarin-workshop/HEAD/solutions/TCP.spthy -------------------------------------------------------------------------------- /solutions/colors.spthy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/felixlinker/tamarin-workshop/HEAD/solutions/colors.spthy -------------------------------------------------------------------------------- /solutions/exADH-kn.spthy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/felixlinker/tamarin-workshop/HEAD/solutions/exADH-kn.spthy -------------------------------------------------------------------------------- /solutions/exADH.spthy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/felixlinker/tamarin-workshop/HEAD/solutions/exADH.spthy -------------------------------------------------------------------------------- /solutions/exOAuth-step3.spthy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/felixlinker/tamarin-workshop/HEAD/solutions/exOAuth-step3.spthy -------------------------------------------------------------------------------- /solutions/exOAuth-step4.spthy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/felixlinker/tamarin-workshop/HEAD/solutions/exOAuth-step4.spthy -------------------------------------------------------------------------------- /solutions/exSenc.spthy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/felixlinker/tamarin-workshop/HEAD/solutions/exSenc.spthy --------------------------------------------------------------------------------