Safe and Secure by Design - Specialization
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.