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.

Instructors

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

Content

Lectures

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

Course material

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