Safe and Secure by Design

The key international IT companies which dominate the marketplace provide highly reliable software-intensive systems and services by using very advanced modeling, analysis and realization techniques. This study line focuses on a number of the proactive methods and techniques used by internationally leading software and hardware companies for engineering safe and secure software-intensive systems. This study line covers the methods and techniques to achieve reliable systems, including program analysis, language-based security, compiler construction, and model checking.

The student must follow the requirements in the general curriculum for the programme such that at least 30 ECTS points are obtained among the following courses:

02221 Foundations of Distributed Systems (5 ECTS)

02223 Model-Based Systems Engineering (7.5 ECTS)

02232 Applied Cryptography (5 ECTS)

02242 Program Analysis (7.5 ECTS)

02244 Logic for Security (7.5 ECTS)

02245 Program Verification (7.5 ECTS)

02246 Model Checking (7.5 ECTS)

02247 Compiler Construction (5 ECTS)

02291 System Integration (5 ECTS)

The terminated courses 02220 Distributed Systems (7.5 ECTS), 02222 Distributed Systems (10 ECTS), 02241 Robust Software Systems (5 ECTS) and 02243 Access Control and Distributed Systems (5 ECTS) also count on the study line.