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.
A full set of solutions for these exercises is also available. Teachers can request these solutions by e-mailing me (see the contact page).