Dependable and Secure Computing (Twente Graduate School)

ICT systems are used as part of an ever-growing variety of applications and form a critical backbone of our societal infrastructure. Malfunctioning or sabotage of ICT systems incur economic expenses at best, cost lives at worse, or will even disrupt society. An ICT-system is called dependable if reliance can justifiably be placed on the services it delivers. This should be possible despite the occurrence of physical faults, communication problems, software errors, human operator mistakes, or attacks by malicious intruders.

Dependability and security are interpreted in a broad sense. Depending on the application domain, it includes 7x24 availability, absolute safe and timely behavior, a guaranteed quality-of-service level, the protection of the integrity of financial transactions, enforcement of digital rights and the privacy of users. Dependable ICT is a challenge, because applications tend to be geographically distributed, have increasingly complex and adaptive functionality, are connected via wired or wireless networks, and should be open for interaction with an unknown, sometimes malicious, environment.

In this Computer Science Graduate programme you will learn and develop traditional and novel methods and techniques for analyzing and constructing dependable and secure systems. Traditional means are fault and intrusion detection, prevention, prediction, removal, and tolerance, so that systems keep working even despite faults, errors, or hackers. Emphasis will be put on computational methods, in the following areas:

Programme mentor

This graduate school program is supported by the Design and Analysis of Communication Systems group (DACS),  the Distributed and Embedded Security group (DIES), the Formal Methods and Tools group (FMT), and the Software Engineering group (SE).

Course programme

The course programme consists of 25 EC compulsory core courses, mandatory courses among which the master thesis, 30 EC track courses and 15 EC elective courses.

Compulsory core courses (25 EC):

192130092 - Faulttolerant Digital Systems

192140122 - System Validation

192194200 - Verification of Security Protocols (TU/e, 6EC)

192111332 - Design of Software Architectures

191210441 - Control Engineering

And depending on choice of track (30 EC):

Track Dependability Modeling and Evaluation (DME):

192135310 - Modeling and Analysis of Concurrent Systems 1

192135320 - Modeling and Analysis of Concurrent Systems 2

192114200 - Quantitative Modeling and Analysis

192135450 - ADSA Model Driven Engineering

191580752 - Deterministic Models in OR

192130500 - Performance Analysis

Track Secure Networks ( SN):

192654000 - Network Security

192110941 - Secure Data Management

192620010 - Mobile and Wireless Networking 1

192194100 - Cryptography 1 (TU/e)

201100022 - Cyber-crime Science

192130300 - Performance Evaluation

Track Dependable Software Synthesis (DSS):

192661001 - Patterns of Software Development

192111233 - Aspect Oriented Programming

192170015 - Testing Techniques

192135450 - ADSA Model Driven Engineering

192114300 - Program Verification

192135310 - Modeling and Analysis of Concurrent Systems 1

Elective courses (15 EC):

These consist of:

Listed courses:

192111092 - Advanced Logic (FMT)

192110280 - Advanced Programming Concepts (SE)

192111700 - Computability and Computational complexity (HMI)

192130112 - Distributed systems (PS)

191520751 - Graph Theory (DMMP)

192653100 - Internet Management and Measurement (DACS)

191210900 - Introduction to Biometrics (SAS)

191560561 - Introduction to Mathematical Systems Theory (MSCT)

192140700 - The Numbers tell the Tale (meten = weten)

192620020 - Mobile and Wireless Networking 2 (DACS)

191210341 - Physical Systems modeling of Embedded Systems (CE)

191211090 - Real-Time Software Development (EL)

192620000 - Telematics Networks (DACS)

191211080 - Systems Engineering (EL)

Mandatory (55 EC):