This workshop is a joint technical discussion (“GI Fachgespräch”) of the GI special interest groups on Communication and Distributed Systems (KuVS) and Operating Systems (FGBS). We look into protocols and frameworks that are robust against Byzantine faults. The focus is on necessary concepts and infrastructure to enable (Byzantine) fault tolerance, but can also include the operation of such systems. Selected areas in the field are given by the following, not necessarily complete, list:
- Agreement protocols (e.g., broadcast, consensus)
- State machine replication and other replication protocols
- Checkpointing, recovery, and reconfiguration protocols
- Frameworks for aforementioned protocols
- Hybrid fault models
Call for Contributions
We look for presentations on your work, including preliminary results and open questions. We plan with presentations of about 25min length joined by 15min of discussion, so that there is plenty of time for a substantial exchange.
If you want to give a presentation, please submit an abstract describing your talk before the deadline. We accept up to two pages in the Lecture Notes on Informatics (LNI) format (CTAN, Overleaf), including bibliography. Submissions are not blind. We recommend English submissions and English presentations, as far as possible. Accepted submissions will be made available in public on the workshop website, but would not be part of official proceedings. Submissions have to be sent to the following email address:
robust2025
@ lists.kit.eduImportant Dates
- Submission Deadline: February 2, 2025, 23:59 UTC
- Notification: February 17, 2025
- Registration Deadline: March 2, 2025, 23:59 UTC
- Workshop: March 17, 11:00 to March 18, 14:00, 2025
Program Committee
- Franz J. Hauck, Ulm University (Chair)
- Hannes Hartenstein, KIT, Karlsruhe (Local Organiser)
- Tobias Distler, FAU, Erlangen
- Rüdiger Kapitza, FAU, Erlangen
- Hans P. Reiser, Reykjavík University
- Christian Berger, FAU, Erlangen
Registration
If you intend to participate in the workshop, please briefly register here, tell us if you also like to join the social event (evening program) on Monday evening, and confirm your registration by using the link included in the confirmation e-mail.
Please register no later than March 2, 2025.
Venue
Karlsruhe Institute of Technology (KIT)
InformatiKOM 2 (Bldg. 50.28), Room SR2
Adenauerring 10
76131 Karlsruhe
Accommodation
For your accommodation during the workshop, we recommend considering hotels conveniently located near station “Durlacher Tor / KIT Campus Süd” (workshop venue), “Marktplatz” (city center), or “Rüppurrer Tor” (in between). Here are some options to choose from:
- Durlacher Tor
- Marktplatz
- Rüppurrer Tor
Program
The following program is tentative. The event is planned from lunch to lunch so that there is time to arrive and depart on the same days. In the evening, there will be a social event in form of a joint dinner.
Monday (2025-03-17)
12:00 Arrival
12:15 – 13:15 Lunch at Workshop Venue
13:15 – 13:30 Welcome (Chair: Hannes Hartenstein)
13:30 – 15:30 Session 1 (Chair: Tobias Distler)
-
Optimized BFT Replication from Authenticated Logging
Hanish Gogada (University of Stavanger), Christian Berger (Friedrich-Alexander-Universität Erlangen-Nürnberg), Leander Jehl (University of Stavanger), Hans P. Reiser (Reykjavik University), Hein Meling (University of Stavanger)
-
Optimistic Execution in State-Machine Replication Systems
Alexander Heß (Ulm University), Franz J. Hauck (Ulm University)
-
Partition Tolerance and Execution Semantics for State-Machine Replication
Franz J. Hauck (Ulm University), Jannis Dommer (Ulm University), Alexander Heß (Ulm University)
-
Tweaking the Fault Model: Performance Gains Beyond Byzantine Fault Tolerance
Marc Leinweber (Karlsruhe Institute of Technology)
15:30 – 16:00 Coffee Break
16:00 – 18:00 Session 2 (Chair: Rüdiger Kapitza)
-
An Asymmetric DAG-based Consensus Algorithm
Ignacio Amores-Sesar (Aarhus University), Christian Cachin (University of Bern), Juan Villacis (University of Bern), Luca Zanolini (Ethereum Foundation)
-
An Analysis of Avalanche Consensus
Ignacio Amores-Sesar (Aarhus University), Christian Cachin (University of Bern), Philipp Schneider (CISPA)
-
Blockchain Made Lightweight: A Median Rule for State Machine Replication
Christian Cachin (University of Bern), Jinfeng Dou (Paderborn University), Christian Scheideler (Paderborn University), Philipp Schneider (CISPA)
-
Designing a Distributed System for Mobility-as-a-Service
Markus Raiber (Karlsruhe Institute of Technology)
19:15 Social Event
Tuesday (2025-03-18)
08:30 – 10:00 Session 3 (Chair: Christian Berger)
-
Toward Great Machine Replication: Revising Leader-Based Consensus One Building Block at a Time
Richard von Seck (Technical University of Munich), Georg Carle (Technical University of Munich)
-
WIP: Emulation Framework for Byzantine Fault-Tolerant Protocols
Bastian Kupka (University of Stuttgart), Tim Strutzenberger (University of Stuttgart), Simon Egger (University of Stuttgart), Christian Becker (University of Stuttgart)
-
Modeling and Optimizing BFT in the Presence of Network Failures and Anomalies
Martin Nischwitz (Physikalisch-Technische Bundesanstalt), Marko Esche (Physikalisch-Technische Bundesanstalt), Florian Tschorsch (Technische Universität Dresden)
10:00 – 10:30 Coffee Break
10:30 – 12:00 Session 4 (Chair: Franz J. Hauck)
-
Towards a Blockchain-based Data Recorder for Small Drones
Harald Böhm (Friedrich-Alexander-Universität Erlangen-Nürnberg), Tobias Distler (Friedrich-Alexander-Universität Erlangen-Nürnberg), Rüdiger Kapitza (Friedrich-Alexander-Universität Erlangen-Nürnberg)
-
Enhancing Censorship Resistance in Ethereum’s World Computer
Patrick Spiesberger (Karlsruhe Institute of Technology)
-
Eventually Consistent Access Control: Thinking in Two Orderings
Florian Jacob (Karlsruhe Institute of Technology)