Below you can find the files students need to make the Scyther exercise set. The exercises are meant to teach students about protocol design pitfalls and the use of automated tool support.

  1. The document containing the exercises:
    Exercise descriptions
  2. The example protocol input files for Scyther:
    protocol0.spdl
    protocol0symm.spdl
    protocol1.spdl
    protocol2.spdl

A full set of solutions for these exercises is also available. Teachers can request these solutions by e-mailing me (see the contact page).