Programm

Fachgruppentreffen Dresden 06./07. März 2023

Stand: 06. März 2023

Tag 1: Montag, 06. März 2023
ab 12:00	🇩🇪/🇬🇧 Registrierung, Imbiss
13:30	🇩🇪 Begrüßung
	Session 1: Microkernel Development (Chair: Björn Döbel – Amazon)
13:50	🇬🇧 Continuous Integration for Virtualization Solutions [ ] Markus Partheymüller, Sebastian Eydam – Cyberus Technology GmbH
14:15	🇬🇧 Using Genode OS for Remotely Updated Embedded IoT Devices [ \| Paper ] Maximilian Matthé, Paul Kühne, Johannes Schlatow – Barkhausen Institut gGmbH, Genode Labs GmbH
14:40	Pause (30 Minuten)
	Session 2: Safe and Secure Clouds (Chair: Jana Traue – Cyberus Technology GmbH)
15:10	🇬🇧 Towards a Cloud Service for State-Machine Replication [ \| Paper ] Alexander Heß, Franz J. Hauck – Ulm University
15:35	🇩🇪 Revisiting the Laprie Model Regarding Security from an Industrial Perspective [ ] Christine Jakobs – TU Chemnitz
16:00	Pause (30 Minuten)
	Session 3: Preisverleihungen (Chair: Michael Engel – Universität Bamberg)
16:30	🇩🇪 Beste Abschlussarbeit der Fachgruppe Betriebssysteme: Lo(ck\|g)-free Page Allocator for Non-Volatile Memory in the Linux Kernel Lars Wrenger – Leibniz Universität Hannover
17:05	🇩🇪 Promotionspreis der Fachgruppe Betriebssysteme: Aufzeichnungsbasierte Analyse von Sperren in Betriebssystemen Alexander Lochmann – TU Dortmund
17:40	Ankündigungen, Treffen der Fachgruppen BS und FERS (ca. 30 Minuten)
19:30	Abendessen, Restaurant "Zum Schießhaus" [ ]

Tag 2: Dienstag, 07. März 2023
8:30	🇩🇪 Begrüßung
	Session 4: Communication (Chair: Peter Sobe – HTW Dresden)
8:35	🇩🇪 Novel semantics of fault tolerant collective communication operations [ ] Martin Küttler – TU Dresden
9:05	🇩🇪 RATLS: Integrating Transport Layer Security with Remote Attestation [ ] Carsten Weinhold, Michael Roitzsch, Robert Walther – Barkhausen Institut gGmbh
09:30	Pause (30 Minuten)
	Session 5: Greetings from the Machine Room (Chair: Alexander Lochmann – TU Dortmund)
10:00	🇬🇧 Enabling development of high quality low-level systems in a reliable manner through fully automated hardware testing [ ] Lucas Baschinski – Cyberus Technology GmbH
10:25	🇬🇧 Flexible and Concise Spectre Mitigations for BPF [ ] Luis Gerhorst, Henriette Hofmeier, Timo Hönig – FAU Erlangen-Nürnberg, Ruhr-Universität Bochum
10:50	🇩🇪 Reducing Deployment Costs for Compile-Time Variants by Static Analysis [ ] Tobias Landsberg – Leibniz Universität Hannover
11:15	Pause (30 Minuten)
	Session 6: BFT and Fault-Tolerance Evaluation (Chair: Janick Edinger – Universität Hamburg)
11:45	🇩🇪 Skalierbare Performance-Simulation von fehlertoleranten verteilten Systemen [ ] Christian Berger, Sadok Ben Toumia, Hans P. Reiser – Universität Passau, Reykjavík University
12:10	🇩🇪 Checkpoint Placement for Systematic Fault-Injection Campaigns [ ] Tim-Marek Thomas, Christian Dietrich, Matthias Mnich and Daniel Lohmann – Leibniz Universität Hannover, TU Hamburg
12:35	🇬🇧 Optimizing Resilience and Availability in TEE-based BFT Protocols [ ] Ines Messadi, Rüdiger Kapitza – FAU Erlangen-Nürnberg
13:00	Verabschiedung