dbosk

Image containing the ladok3 Python package preinstalled

An image for grading and reporting. Contains the commands `ladok`, `canvaslms` and `repobee`.

Image with everything required to use [makefiles](https://github.com/dbosk/makefiles).

The Shadow discrete-event network simulator

Lab environment for the Password Evaluation lab

The Tamarin protocol verifier