| Carl Friedrich Gauß Faculty | Department of Computer Science

Seminar Verteilte Systeme: Uncovering distributed computing principles

Winter 2020/2021
Module #INF-VS-041
ProgrammesBachelor Informatik, Bachelor Informations-Systemtechnik, Bachelor Wirtschaftsinformatik, Master Informatik, Master Informations-Systemtechnik, Master Wirtschaftsinformatik
IBR GroupDS (Prof. Kapitza)
PhotoProf. Dr. Rüdiger Kapitza

+49 531 3913294
Room 135
PhotoInes Messadi
Wissenschaftliche Mitarbeiterin

+49 531 3913295
Room 117
Time & Place

Kick-Off Meeting: Tuesday, 03.11, 1:00. All potential questions regarding the seminar (difficulty of topics, presentation style, etc.) will be answered during the kick-off meeting. The seminar wil happen entirely online: https://bbb.ibr.cs.tu-bs.de/b/ine-2a7-pg3


Submission of an substantial essay and successful presentation. The grade is determined by the activity in the seminar as well as the quality of essay and presentation.


The number of participants is limited to 15 students.

The registration is only possible via StudIP.

In the last decade, we have seen many interesting developments distributed systems and how to build applications on top of them. The seminar will cover distributed computing principles and the idea behind fault-tolerant, scalable, and maintainable distributed applications. We will look at current ongoing research and new techniques to optimize, secure, and verify distributed protocols. Each meeting consists of a presentation and a discussion about the topics, as well as answering a chosen research question. The topics include:
  • Fault-tolerance, cryptography, and security
  • Can we formally verify distributed fault-tolerant protocols?
  • Replication protocols and optimization techniques
  • What different consistency models and what are the tradeoffs?
  • How can we reach a planet-scale system?
  • Hybrid protocols using trusted execution environment

The following is a preliminary list of topics. The papers might be extended or changed.

Seminar Topics

1) Effect of Remote Direct Memory Access on agreement and replication
2) Formally verified Fault-tolerant protocols

3) Adaptive security and trust infrastructure
4) Replication protocols, partitioning and consistency
5) Using Trusted execution environement for replication
6) Automated testing of Fault tolerant protocols
7) How to scale replicated systems?

last changed 2021-04-26, 16:57 by Mohammad Mahhouk