The course on Secure and Dependable Systems.
The probems for the SecDep course
The IWGS Training Problems