tamarin-prover.github.io/teaching.html at master · tamarin-prover/tamarin-prover.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
---
title: Teaching
layout: default
category: documentation
---

<div class="teaching-all">
  <div class="teaching-block">
    <h2 id="general-support">General support</h2>

    <h3 id="handout-understanding-dependency-graphs">Handout: Understanding dependency graphs</h3>

    <p>The following PDF can be used as a reference handout for understanding dependency graphs.</p>

    <ul>
      <li><a
          href="https://github.com/tamarin-prover/teaching/blob/master/handouts/Tamarin-basics-dependency-graphs.pdf">Handout:
          dependency graphs</a>
      </li>
    </ul>

  </div>

  <div class="teaching-block">

    <h2 id="lecture-slides">Lecture slides</h2>

    <p>A full <a href="https://github.com/peltona/tamarin-course">lecture slide deck</a>, providing both PDF slides and
      latex source files under a CC-BY license.</p>

    <p>The lecture set is intended for a graduate-level course in combination with the <a href="/book/index.html">Tamarin
        book</a>.</p>

    <p><strong>Author:</strong> Aleksi Peltonen</p>
  </div>

  <div class="teaching-block teaching-tutorials">

    <h2 id="tutorials">Tutorials</h2>

    <p>The core Tamarin team and other contributors have developed different tutorials over time.</p>

    <div class="teaching-subblock">

      <h3 id="1-one-day-tutorial">1. One-day tutorial</h3>

      <p>This tutorial was originally given at EuroSnP/Eurocrypt 2017</p>

      <ul>
        <li>
          <p><a href="https://github.com/tamarin-prover/teaching/blob/master/Tamarin-Tutorial-morning.pdf">Morning
              slides
              PDF</a>
            <a href="https://github.com/tamarin-prover/teaching/blob/master/Tamarin-Tutorial-morning.odp">(Libreoffice
              source file)</a>
          </p>
        </li>
        <li>
          <p><a href="https://github.com/tamarin-prover/teaching/blob/master/Tamarin-Tutorial-afternoon.pdf">Afternoon
              slides PDF</a>
            <a href="https://github.com/tamarin-prover/teaching/blob/master/Tamarin-Tutorial-afternoon.odp">(Libreoffice
              source file)</a>
          </p>
        </li>
        <li>
          <p><a href="https://github.com/tamarin-prover/teaching/blob/master/tutorial-models">Tamarin model files</a>
            <a href="https://github.com/tamarin-prover/teaching/blob/master/tutorial-models/tutorial-models.zip">(ZIP
              archive version)</a>
          </p>
        </li>
        <li>
          <p>Handouts to print:</p>
          <ul>
            <li><a
                href="https://github.com/tamarin-prover/teaching/blob/master/handouts/Handout-Exercise-I-II.pdf">Exercises</a>
            </li>
            <li><a href="https://github.com/tamarin-prover/teaching/blob/master/handouts/Handout-Naxos.pdf">Naxos
                protocol
                description</a></li>
            <li><a
                href="https://github.com/tamarin-prover/teaching/blob/master/handouts/Tamarin-basics-dependency-graphs.pdf">Dependency
                graphs</a></li>
          </ul>
        </li>
      </ul>

      <p><strong>Authors:</strong> David Basin, <a href="https://cispa.saarland/group/cremers/index.html">Cas
          Cremers</a>,
        Jannik Dreier, and Ralf Sasse.</p>

    </div>
    <div class="teaching-subblock">

      <h3 id="2-toy-protocol-exercise">2. Toy protocol exercise</h3>

      <ul>
        <li><a href="https://github.com/benjaminkiesl/tamarin_toy_protocol">Tamarin toy protocol exercise</a>.</li>
      </ul>

      <p><strong>Author:</strong> Benjamin Kiesl</p>
    </div>
    <div class="teaching-subblock">


      <h3 id="3-tamarin-workshop">3. Tamarin workshop</h3>

      <ul>
        <li><a href="https://github.com/felixlinker/tamarin-workshop">Tamarin workshop (2-4 hours)</a>.</li>
      </ul>

      <p><strong>Author:</strong> Felix Linker</p>
    </div>
    <div class="teaching-subblock">


      <h3 id="4-one-day-tamarin-workshop">4. One-day Tamarin workshop</h3>

      <ul>
        <li><a href="https://github.com/sgiampietro/tamarin-tutorial">Tamarin workshop</a> given at the Croatia Summer
          School on real-world crypto and privacy 2024.</li>
      </ul>

      <p><strong>Authors:</strong> Alexander Dax, Sofia Giampietro, Xenia Hofmeier, Niklas Medinger, and Aurora Naska
      </p>
    </div>
  </div>

</div>
<h2 id="license">License</h2>

<p>All the materials in the <a href="https://github.com/tamarin-prover/teaching"><code
      class="language-plaintext highlighter-rouge">tamarin-prover/teaching</code></a> repository are provided under a
  <a href="https://creativecommons.org/licenses/by/4.0/">Creative Commons Attribution license</a> (CC-BY).
</p>

<p><a href="https://creativecommons.org/licenses/by/4.0/"><img
      src="http://mirrors.creativecommons.org/presskit/buttons/88x31/svg/by.svg" alt="CC-BY" width="15%" /></a></p>