This course is now completed and the website is maintained for archival purposes only. For the most recent offering of this course, please click here.
INSE 6150: Security Evaluation Methodologies (Winter 2016)
Fridays, 17:45–20:15, H-1070

Course Outline

This course essentially covers how to evaluate the security of X, where X could be anything from a cryptographic protocol to a hardware chip to a large software system like an operating system to a service like email. A tentitve schedule is outlined below.

Students are responsible for attending the lectures and taking notes.


The lectures are based, in part, on the following books. None are required but may be useful for further reading. Exams and assignments will be based on what is presented during the lectures, with the textbooks providing additional detail and formalization:

Assignments and Exams

Unless otherwise stated, assignements are due by the end of class on the due date. They can be handed in during class or put in my mailbox (EV 7.640; closes at 16:30) anytime before the deadline. See the assignment itself for the late policy.

* The time and date of the final exam is selected by the university. The final exam period is April 15 to May 1 2016. The date cannot be moved due to travel plans; I recommend you do not make travel plans until the date is finalized.


Students are responsible for attending the lectures and taking notes. The exams will be based on all that is covered during the lecture, while the provide notes are only the highlights and key points.