User Tools

Site Tools


Master Degree in Cyber Security at TU/e

TU/e, in joint collaboration with the RU Radboud University, offers a Master Specialization in Cyber Security. For more info, visit the website

Courses offered by SEC

2IMS00: Seminar IST

In this course students train the skills required for doing independent research in security. The student has to be able to explore a new security topic on his/her own and present the results in oral and written form. The Seminar is a preparation for the masters thesis project. The students get a project assignment, consisting of a literature study and a practical assignment. They have to hand in a report and to present their results orally to their fellow students. The reports are subjected to peer review.

2IMS10: Physical Aspects of Digital Security

The course covers a number of subjects where digital security is heavily influenced by interaction with the physical world: Fuzzy extractors, true random number generation, distance bounding, physical unclonable functions, quantum computers, quantum key exchange. The emphasis lies on the adaptation of algorithms and protocols to cope with, and maximally exploit, the properties of the physical world.

2IMS15: Verification of Security Protocols

The student will learn what are security protocols, which kind of flaws they can contain and how to detect and fix such flaws. The following topics are treated:

  • The Spi-calculus modeling language
  • Typing for Secrecy, Authenticity, Authentication
  • The Proverif protocol verification tool
  • Anonymity
  • Information flow

2IMS20: Hacker's Hut

The course comprises both theoretical lessons as well as practical exercises. Topics include: stack overflow, buffer overflows, cross site scripting attacks, cross site request forgery, sql injections, rootkits.

2IMS25: Principles of Data Protection

This course focuses on data protection technologies designed to prevent dissemination of sensitive information of individuals. The course will provide a solid introduction to most important access control models (e.g., DAC, MAC, RBAC) and their extensions for distributed systems (e.g., RT) and usage control (e.g., UCON). The course also covers industry standards in the area of access control and privacy (e.g., XACML and EPAL). See the course website for more information.

Master Projects

The Security Group of TU/e offers a large variety of projects that can take place in an external company or within the TU/e:

External Projects:

Internal Projects:

master.txt · Last modified: 2017/10/20 14:48 by root