Security Protocols

Information on the course Security Protocols (a third semester MICS course) is kept here. This course previously ran as Verification of Security Protocols. It is taught every winter semester and is worth 4 ECTS points. The course aims at creating expertise in manual and computer supported verification of security protocols.


Please feel free to contact any of the instructors should you have any questions about this course.



Lectures are on Mondays from 15:45 to 17:15, in MSA. on the Belval campus.

Course material

All further details about the contents of this course are on Moodle.