This page contains some additionals teaching materials for some future and past events.

Up-coming events

Nothing is planned, yet!

Past-Events

Cyber 2022 in Nancy

Slides are available here.

The school featured a Squirrel tutorial, consisting of a series of exercises of increasing difficulty, covering:

• the basic logical constructs and tactics manipulating them,
• several cryptographic assumptions,
• accessibility properties (authentication, injective authentication),
• equivalence properties (unlinkability),
• stateful protocol, and
• protocol composition.

As support material to go through the exercises, we provide syntax documentation here. The full documentation can be found here.

The files of the tutorial are now part of the official Squirrel distribution, under the examples/tutorial/ directory. They are also accessible directly below:

• 0-logic
• 1-crypto-hash
• 2-crypto-enc
• 3-hash-lock-auth
• 4-hash-lock-unlink
• 5-stateful
• 6-key-establishment

Those, again, are available on our online version here

MOVEP 2022

Slides are available here.

Examples used for the presentation are here.