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.

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 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.