Security Protocols

SaToSS home

• Theoretical Computer Science 1
• Distributed Systems
• Formal Methods
• Game Theory
• Information Security Basics
• Introduction to IT Security
• Network Security
• Security Protocols
• Security Modeling

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

• Prof. Dr. Sjouke Mauw
• Dr. Ross Horne
• Dr. Yunior Ramírez-Cruz
• Dr. Matteo Acclavio
• Mr. Semen Yurkov
• Mr. Reynaldo Gil-Pons
• Ms. Sevdenur Baloglu

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

Content

• Introduction to security; Review of basic cryptography
• Protocols, notation, terminology; Adversary Models
• Secrecy
• Authentication
• Privacy, Anonymity, Untraceability
• Automatic Verification of Security Protocols
• Distance bounding protocols
• Multi-party authentication protocols

Lectures

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.