ROBUST 2024 Workshop

Call for Papers

This workshop is a joint Fachgespräch of the GI special interest groups on Communication and Distributed Systems (KuVS) and Operating Systems (FGBS). Topics of interest are Byzantine fault tolerance and state-machine replication. 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:

• Consensus and replication protocols
• Frameworks
• Checkpointing concepts
• Deterministic execution
• Group and deployment management
• Proactive recovery
• Hybrid fault models

After each presentation there will be time for discussions. The event is planned from noon to noon 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.

Contributions

If you want to give a presentation on new results, please submit an abstract (1 to 2 pages) describing your talk before the deadline. Alternatively, you could submit a short paper (6 to 8 pages) that in case of acceptance will be published as LNI proceedings.

We recommend English submissions and English presentations, as far as possible. Submissions have to be sent to the following email adress:

robust2024@lists.informatik.uni-erlangen.de

Important dates

• Submission Deadline: February 4, 2024
• Notification: February 12, 2024
• Workshop: March 13 (Noon) to 14 (Noon), 2024

Program Committee

• Tobias Distler, FAU, Erlangen (Local Organiser)
• Franz J. Hauck, Ulm University (Chair)
• Rüdiger Kapitza, FAU, Erlangen (Local Organiser)
• Hans P. Reiser, Reykjavík University

Accommodation

For your accommodation during the workshop, we recommend considering hotels conveniently located near the Technische Fakultät (workshop venue) or Erlangen Altstadt / Zentrum. Here are some options to choose from:

Hotels near Technische Fakultät (workshop venue):

• The niu Cure
• Creativhotel Luise

Erlangen Altstadt / Zentrum (city center):

• NH Hotel Erlangen
• Hotelchen am Theater
• Hotel Rokohaus Erlangen
• Altstadthotel Grauer Wolf
• Novotel Erlangen

Registration

If you intend to participate in the workshop, please briefly register here and tell us if you also like to join the social event (evening program) on wednesday.

Venue

Department of Computer Science 16 (System Software)
Martensstraße 1
91058 Erlangen

Wednesday: Room number 0.031-113 Thursday: Room number 0.035-113

Program

Wednesday (13.03.2024) Room: 0.031-113

13:00 - 15:00, Session 1: Flexible BFT Architectures (Chair: Tobias Distler)

• Blazingly Fast BFT Consensus with Mercury ( Abstract)

  Christian Berger (University of Passau), Lívio Rodrigues (LASIGE, Universidade de Lisboa), Hans P. Reiser (Reykjavik University, University of Passau), Vinícius Cogo (LASIGE, Universidade de Lisboa), Alysson Bessani (LASIGE, Universidade de Lisboa)

• A Framework for Consensus-Agnostic State-Machine Replication based on Threshold Signatures ( Abstract)

  Alexander Heß (Ulm University), Franz J. Hauck (Ulm University)

• Tough on the Outside, Reliable on the Inside: Utilizing System Composition for Improved Resilience ( Abstract)

  Laura Lawniczak (Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)), Tobias Distler (Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU))

15:00 - 15:30, Coffee Break

15:30 - 16:50, Session 2: Leveraging Trusted Execution Environments (Chair: Franz J. Hauck)

• On Asynchronous TEE-Based State Machine Replication ( Abstract)

  Marc Leinweber (Karlsruhe Institute of Technology (KIT)), Hannes Hartenstein (Karlsruhe Institute of Technology (KIT))

• Cloud-aware BFT Proactive Recovery Using Confidential Computing ( Abstract)

  Ines Messadi (Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)), Rüdiger Kapitza (Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU))

19:00, Social Event

• Joint dinner in a restaurant in Erlangen (zum Pleitegeier)

Thursday (14.03.2024) Room: 0.035-113

09:00 - 11:00, Session 3: Formalization & Guaranteed Properties (Chair: Rüdiger Kapitza)

• Linearizability and State-Machine Replication ( Abstract)

  Franz J. Hauck (Ulm University), Alexander Heß (Ulm University)

• Towards Coordination-Free Replication and Access Control for Partition-Tolerant Decentralized Systems ( Abstract)

  Florian Jacob (Karlsruhe Institute of Technology (KIT))

• Memory-Efficient Byzantine Fault-Tolerant Replication for Highly Resource-Constrained Systems ( Abstract)

  Harald Böhm (Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)), Tobias Distler (Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU))