Safe and Secure by Design - Specialization
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.
Specialization: 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 specialization 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. It 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 25 ECTS points are obtained among the following courses:
| 02232 | Applied Cryptography | 5 | point | Autumn E1B (Thurs 13-17) |
| 02242 | Program Analysis | 7.5 | point | Autumn E2A (Mon 13-17) |
| 02244 | Logic for Security | 7.5 | point | Spring F2A (Mon 13-17) |
| 02245 | Program Verification | 7.5 | point | Autumn E1B (Thurs 13-17) |
| 02246 | Model Checking | 7.5 | point | Autumn E4B (Fri 8-12) |
| 02247 | Compiler Construction | 5 | point | Spring F2B (Thurs 8-12) |
| 02256 | Automated Reasoning | 5 | point | Spring F1B (Thurs 13-17) |
| 02263 | Formal Aspects of Software Engineering | 5 | point | Autumn E1A (Mon 8-12) |
| 02291 | System Integration | 5 | point | Spring F5A (Wed 8-12) |
The terminated courses 02221 Foundations of Distributed Systems (5 ECTS) and 02223 Model-Based Systems Engineering (7.5 ECTS) also count on the specialization.
Specializations are merely recommended ways of choosing the courses in the curriculum. Applicants are not admitted to a specialization but to the programme and it is possible to choose among all the courses in the curriculum following the directions given. However, if a specialization has been fulfilled the title of the specialization may be added to the diploma.