This page contains teaching material from several 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.
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.
The files of the tutorial are now part of the official Squirrel
distribution, under the examples/nancy2022/ directory. They
are also are available directly in your browser with JSquirrel.
MOVEP 2022 (Aalborg, Denmark)
Slides are available here.
Examples used for the presentation are now part of the official
Squirrel distribution, under the examples/movep
directory.