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

EJCP 2025 (Vannes, France)

The school featured a Squirrel tutorial, with lectures in the morning and exercises in the afternoon. It targetted PhD students without a background in security protocols, cryptography or proof assistants. A quick introduction to these fields was given, after which the core approach behind Squirrel was presented. The school does not cover equivalence properties.

Slides: part1 and part2

Files: here

Cyber 2022 (Nancy, France)

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 (Aalborg, Denmark)

Slides are available here.

Examples used for the presentation are here.