| Carl Friedrich Gauß Faculty | Department of Computer Science

Seminar Verteilte Systeme: Uncovering distributed computing principles

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?
The material is only available to registered attendees. In order to register, you need either an IBR account or a self-activated IBR-y-account. Afterwards you can login to this site (with the function at the top of this page).
[ Podcast | Podcast aller Formate | Newsfeed aller Formate ]
1. Kick-off
2. Deadlines
3. Velisarios, Formal Verification of Byzantine Fault Tolerant Protocols
4. Using RDMA for Replication Protocols
5. Leaderless BFT Replication
[ Subscribe Calendar | Download Calendar ]
03.11.2020, 13:00Kick-Off Meeting (BBB)
11.01.2021, 16:45Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq (BBB)
18.01.2021, 16:45Remote Direct Memory Access on agreement and replication (BBB)
25.01.2021, 16:45Leaderless Fault-Tolerant Replication (BBB)

Review Template Download

On World-Wide-Web, there are different ways to enhance your seminar presentations:

For the literature review there links might be helpful:

(La)TeX Tips + Tricks

The Seminar

The preferred language for talk and essay is english. Each participant will take one or more papers under a specific topic. Participants are responsible for a peer review, including:

  • Attend peer's presentation dry run and give feedback.
  • Review peer's essay before submission.
  • Collect questions to peer's presentation during discussion session.


Please submit the essay as well as your presentation slides. The requirements for presentation and essay are listed as follows:

  • Presentation and essay preferably in English.
  • Presentation time about 20 minutes.
  • Essay should comprise exact 6 pages without references.

Each participant is supposed to do further research based on the paper. The supervisors are always glad to help in this case.

The strength of the university depends on academic and personal integrity. In this seminar, essays must be done in your own words. Plagiarism is an offense against the examination regulations.


The LaTeX template for seminar essay can be found here.

Additional considerations for the design of the essay can be found on the website of IBR.

LaTeX templates for presentation slides can be found here.

Additional considerations for the design can be found on the website of IBR.

last changed 2021-01-08, 17:07 by Ines Messadi