The vision of our research is the Design, Analysis, and Engineering of Flexible, Scalable, Reliable and Secure Communication Systems and the adequate Architectures, Paradigms, Algorithms, Models, Methods and Tools to realize this vision.

The scope of considered systems spans from complex and massively distributed Peer-to-Peer-systems, via traditional Internet-based communication systems to ubiquitous devices, embedded systems, and highly integrated microsystems and sensor nodes.

With Flexibility, Scalability, and Resilience as key challenges in mind, our four research groups focus their attention on the following key areas:

Cyber-Physical Systems:

• Low-latency ultra-reliable wireless systems
• Systems engineering and tool development
• Mobile Devices for Healthcare (including mental health)
• Indoor Localization

Network Architectures:

• Software Defined Networking and In-Network Computing
• Large-scale Internet Measurements
• Protocol innovation and optimization
• Congestion control and active queue management
• Network telemetry

Security and Privacy:

• Security and Privacy in the Industrial Internet of Things (IIoT)
• Network Security for the IP-based Internet of Things
• Privacy Enhancing Techniques (PETs)
• Blockchain Technology
• Security and Privacy in Cloud-based Systems

Systems Analysis:

• Verification of protocols to ensure correctness
• Reliability Analysis for actual implementations of Distributed Systems
• Automatization of test processes for networked systems, focussing on automated test case generation
• Optimization of algorithms used in Symbolic Distributed Execution
• Extension of current and existing research to better perform analysis in the temporal domain