News
- ROBUST Workshop 2026 in Erlangen - On October 7–8, 2026, the workshop ROBUST 2026 – Resilient Operations: Byzantine Fault Tolerance and State-Machine Replication took place at the Faculty of Engineering of…
- Attending EuroSys 2026 in Edinburgh - From 27 April 2026 to 30 April 2026, the EuroSys conference, together with numerous workshops, took place in Edinburgh. This year, our chair was represented…
- Laura Lawniczak’s Doctoral Defense - On February 16, Laura Lawniczak successfully defended her dissertation titled "Practical State-Machine Replication for Small-Scale Systems" (Praxisnahe Ansätze für Zustandsmaschinenreplikation in kleinskaligen Systemen). In addition…
- Participation in the DARE 2025 Summer School - During the week of September 8–12, our employees Harald Böhm and Paul Bergmann took part in the 3rd ACM Europe Summer School on Distributed and…
Topics
Distributed systems are characterized by consisting of multiple, largely independent components that are connected via a network and jointly provide a common service. Depending on the specific form, this may range from the redundant storage of small files on just a few machines to the massively parallel processing of large amounts of data in globe-spanning cloud applications. On the one hand, the distributed nature of a system opens up new opportunities, such as improved fault tolerance through the replication of data or computations; on the other hand, it brings additional challenges, for example providing services efficiently when they are distributed across multiple geographic locations. The goal of the chair's research activities is to develop concepts and techniques that enable systems to exploit the opportunities offered by distribution while using the available resources as efficiently as possible. Our research focuses in particular on the following areas:- Byzantine fault tolerance, state machine replication, and consensus algorithms
- Performance evaluation through network simulation and fault injection
- Automated diversification, implementation, and verification of distributed systems
- Blockchain systems, distributed ledger technology, and decentralized finance (DeFi)
Projects
BALu: Blockchain applications in aviation
Funding source: Bundesministerium für Wirtschaft und Energie (BMWE)
Acronym: BALu
Project leader:
Das Konzept von Distributed Ledger Systemen (Blockchain) ist eine grundlegend neue Basistechnologie, welche in der öffentlichen Wahrnehmung derzeit verstärkt im Fokus steht und welche erhöhtes Potential zur Lösung von Problemstellungen in einer Vielzahl von Anwendungsbereichen verspricht.Daneben wandelt sich die Luftverkehrslandschaft absehbar mit einer massiven Zunahme an Luftverkehrsteilnehmern und weiteren Luftverkehrsarten wie autonomen Kleinstsystemen. Des Weiteren besteht ein Bedarf bei de…
BFT2Chain: Design and validation of scalable, Byzantine fault tolerant consensus algorithms for blockchains
Funding source: Deutsche Forschungsgemeinschaft (DFG)
Acronym: BFT2Chain
Project leader:
Distributed Ledger Technologies (DLTs), often referred to as blockchains, enable the realisation of reliable and attack-resilient services without a central infrastructure. However, the widely used proof-of-work mechanisms for DLTs suffer from high latencies of operations and enormous energy costs. Byzantine fault-tolerant (BFT) consensus protocols prove to be a potentially energy-efficient alternative to proof-of-work. However, current BFT protocols also present challenges that still limit thei…
NEMESIS: A Novel Evaluation Platform for Measuring Endurance of Byzantine Fault-Tolerant Systems under Injected Stressors
Funding source: DFG-Einzelförderung / Sachbeihilfe (EIN-SBH)
Acronym: NEMESIS
Project leader: ,
Byzantine fault-tolerant (BFT) consensus protocols nowadays form the backbone of Distributed Ledger Technology (DLT) systems. A new generation of BFT protocols organises blocks in a directed acyclic graph instead of a linear chain, thereby achieving substantially higher throughput and better scalability. These protocols already secure considerable economic value in production DLTs. However, their attack surface and their robustness under realistic conditions remain insufficiently explored.Existi…
Contact Persons
Research Staff
Research Assistants
Publications
2026
Pangolin: Efficient DAG-based BFT State-Machine Replication with TEE-Accelerated Commitment
2026.
[arXiv] [BibTeX]
Seamless Reconfiguration for DAG-BFT
To appear in: Proceedings of the 30th International Conference on Principles of Distributed Systems (OPODIS 2026). 2026.
[arXiv] [BibTeX]
Exploring Adaptive Byzantine Quorum Systems to Improve Latency in the WAN
To appear in: Proceedings of the 15th Latin-American Symposium on Dependable and Secure Computing (LADC 2026). 2026.
[arXiv] [BibTeX]
Vivisecting the Dissection: On the Role of Trusted Components in BFT Protocols
In: IEEE Transactions on Computers. 2026.
[DOI] [arXiv] [BibTeX]
OptiLog: Assigning Roles in Byzantine Consensus
In: Proceedings of the 21st European Conference on Computer Systems (EuroSys '26). 2026.
[DOI] [BibTeX]
Towards practical DAG-based BFT SMR
In: Talk at the 13th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC '26). 2026.
[BibTeX]
2025
BFTeam: Towards Practical Intermittent Byzantine Fault Tolerance
In: Poster at the 3rd ACM Europe Summer School on Distributed and Replicated Environments (DARE '25). 2025.
[BibTeX]
Towards a Blockchain-based Data Recorder for Small Drones
In: 2nd Workshop on Resilient Operations – Byzantine Fault Tolerance and State-Machine Replication (ROBUST '25). 2025.
[BibTeX]
Hard Shell, Reliable Core: Improving Resilience in Replicated Systems with Selective Hybridization
In: Proceedings of the 44th International Symposium on Reliable Distributed Systems (SRDS '25). 2025.
[DOI] [PDF] [BibTeX]
TEE-Assisted Recovery and Upgrades for Long-Running BFT Services
In: Proceedings of the 20th International Conference on Availability, Reliability and Security (ARES '25). 2025.
[DOI] [PDF] [BibTeX]
2024
Probabilistic Byzantine Fault Tolerance
In: Proceedings of the 43rd Symposium on Principles of Distributed Computing (PODC 2024). 2024.
[DOI] [BibTeX]
Memory-Efficient Byzantine Fault-Tolerant Replication for Highly Resource-Constrained Systems
In: 1st Workshop on Resilient Operations – Byzantine Fault Tolerance and State-Machine Replication (ROBUST '24). 2024.
[BibTeX]
TinyBFT: Byzantine Fault-Tolerant Replication for Highly Resource-Constrained Embedded Systems
In: Proceedings of the 30th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2024). 2024.
[DOI] [PDF] [BibTeX]
Tough on the Outside, Reliable on the Inside: Utilizing System Composition for Improved Resilience
In: 1st Workshop on Resilient Operations – Byzantine Fault Tolerance and State-Machine Replication (ROBUST '24). 2024.
[BibTeX]
Targeting Tail Latency in Replicated Systems with Proactive Rejection
In: Proceedings of the 25th Middleware Conference (Middleware '24). 2024.
[DOI] [PDF] [BibTeX]
2023
SoK: Scalability Techniques for BFT Consensus
In: Proceedings of the 5th IEEE International Conference on Blockchain and Cryptocurrency. 2023.
[DOI] [arXiv] [BibTeX]
Micro Replication
In: Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN '23). 2023.
[DOI] [BibTeX]
Generic Checkpointing Support for Stream-based State-Machine Replication
In: Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC '23). 2023.
[DOI] [PDF] [BibTeX]
2022
SplitBFT: Improving Byzantine Fault Tolerance Safety Using Trusted Compartments
In: Middleware 2022 - Proceedings of the 23rd ACM/IFIP International Middleware Conference. 2022.
[DOI] [BibTeX]
EventChain: A Blockchain Framework for Secure, Privacy-Preserving Event Verification
In: 23rd ACM/IFIP International Middleware Conference. 2022.
[DOI] [BibTeX]
ZugChain: Blockchain-Based Juridical Data Recording in Railway Systems
In: Proceedings of the 52nd International Conference on Dependable Systems and Networks. 2022.
[DOI] [PDF] [BibTeX]
2021
Byzantine Fault-Tolerant State-machine Replication from a Systems Perspective
Egalitarian Byzantine Fault Tolerance
In: 2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC). 2021.
[DOI] [PDF] [BibTeX]
Stream-based State Machine Replication
In: Proceedings of the 17th European Dependable Computing Conference (EDCC '21). 2021.
[DOI] [arXiv] [BibTeX]
2020
Resilient Cloud-based Replication with Low Latency
In: Middleware 2020 - Proceedings of the 2020 21st International Middleware Conference. 2020.
[DOI] [PDF] [BibTeX]
Low-Latency Geo-Replicated State Machines with Guaranteed Writes
In: Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2020. 2020.
[DOI] [PDF] [BibTeX]
2019
In Search of a Scalable Raft-based Replication Architecture
In: Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2019. 2019.
[DOI] [BibTeX]
Deterministic Fuzzy Checkpoints
In: Proceedings of the 38th International Symposium on Reliable Distributed Systems (SRDS '19). 2019.
[DOI] [PDF] [BibTeX]
2018
Strome: Energy-Aware Data-Stream Processing
In: Proceedings of the 18th International Conference on Distributed Applications and Interoperable Systems (DAIS '18). 2018.
[DOI] [BibTeX]
Latency-Aware Leader Selection for Geo-Replicated Byzantine Fault-Tolerant Systems
In: Proceedings of the 48th International Conference on Dependable Systems and Networks Workshops (DSN-W '18). 2018.
[DOI] [PDF] [BibTeX]
Scalable Byzantine Fault-tolerant State-Machine Replication on Heterogeneous Servers
Troxy: Transparent Access to Byzantine Fault-Tolerant Systems
In: Proceedings of the 48th International Conference on Dependable Systems and Networks (DSN '18). 2018.
[DOI] [PDF] [BibTeX]
2017
Hybrids on Steroids: SGX-based High Performance BFT
In: Proceedings of the 12th European Conference on Computer Systems (EuroSys '17). 2017.
[DOI] [PDF] [BibTeX]
2016
Resource-efficient Byzantine Fault Tolerance
In: IEEE Transactions on Computers 65(9). 2016.
[DOI] [PDF] [BibTeX]
SAREK: Optimistic Parallel Ordering in Byzantine Fault Tolerance
In: Proceedings of the 12th European Dependable Computing Conference (EDCC '16). 2016.
[DOI] [BibTeX]
2015
Consensus-Oriented Parallelization: How to Earn Your First Million
In: Proceedings of the 16th Middleware Conference (Middleware '15). 2015.
[DOI] [PDF] [BibTeX]
Towards Energy-Proportional State-Machine Replication
In: Proceedings of the 14th Workshop on Adaptive and Reflective Middleware (ARM '15). 2015.
[DOI] [PDF] [BibTeX]
2014
Scalable BFT for Multi-Cores: Actor-based Decomposition and Consensus-oriented Parallelization
In: Proceedings of the 10th Workshop on Hot Topics in System Dependability (HotDep '14). 2014.
[PDF] [BibTeX]
2012
CheapBFT: Resource-efficient Byzantine Fault Tolerance
In: Proceedings of the EuroSys 2012 Conference (EuroSys '12). 2012.
[DOI] [PDF] [BibTeX]
2011
Increasing Performance in Byzantine Fault-Tolerant Systems with On-Demand Replica Consistency
In: Proceedings of the EuroSys 2011 Conference (EuroSys '11). 2011.
[DOI] [PDF] [BibTeX]
SPARE: Replicas on Hold
In: Proceedings of the 18th Network and Distributed System Security Symposium (NDSS '11). 2011.
[PDF] [BibTeX]
2010
State Transfer for Hypervisor-Based Proactive Recovery of Heterogeneous Replicated Services
In: Proceedings of the 5th "Sicherheit, Schutz und Zuverlässigkeit" Conference (SICHERHEIT '10). 2010.
[PDF] [BibTeX]
2009
Functional Decomposition and Interactions in Hybrid Intrusion-tolerant Systems
In: Proceedings of the 3rd Workshop on Middleware-Application Interaction (MAI '09). 2009.
[DOI] [BibTeX]
2008
FOREVER: Fault/intrusiOn REmoVal through Evolution & Recovery
In: Companion '08: Proceedings of the ACM/IFIP/USENIX Middleware '08 Conference Companion. 2008.
[DOI] [BibTeX]
Efficient State Transfer for Hypervisor-Based Proactive Recovery
In: Proceedings of the 2nd Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS '08). 2008.
[DOI] [BibTeX]




