Forschungsgruppe Dezentrale Systeme und Netzdienste
Unter dem Begriff „Dezentrale Systeme und Netzdienste“ werden verteilte und vernetzte technische Systeme verstanden, die sich über mehr als eine administrative Domäne erstrecken und deren Funktionieren somit an mehreren oder vielen „Parteien“ hängt. Im Fokus der DSN-Forschungsgruppe stehen derzeit
- Blockchains, Broadcast- und Konsensverfahren und Smart Contracts
- P2P-Netze und Network Monitoring
- Dezentrales Messaging am Beispiel von Matrix
- Identity Management und Access Control Systems
- Sichere und privatsphärengerechte Datenverarbeitung in bedingt vertrauenswürdigen Umgebungen
- Dezentrales Lernen.
News | Newsarchiv
Wir haben auf dem diesjährigen Workshop on Principles and Practice for Consistency of Distributed Data unseren Vortrag „Towards System-Oriented Formal Verification of Local-First Access Control“ gehalten. In der Arbeit wenden wir das Verus-Framework zur formalen Spezifikation und Verifikation in Rust auf dezentrale Zugriffskontrollsysteme an. Der zugehörige Artikel ist als Open Access unter CC-BY frei verfügbar.
Unser Paper "Security of the Lightning Network: Model Checking a Stepwise Refinement with TLA+" wurde auf der 20th International Conference on Integrated Formal Methods (iFM 2025) mit dem Best Paper Award ausgezeichnet. In dem Beitrag stellen wir unsere Methodik und Ergebnisse einer Untersuchung der Sicherheit des Protokolls des Lightning Netzwerks vor.
Unser Mitarbeiter Marc Leinweber hat am 5. November 2025 erfolgreich seine Dissertation verteidigt. In seiner Arbeit mit dem Titel „TEE-Based Distributed Ledgers and Their Resilience“ forschte Marc an Möglichkeiten, Konsensverfahren mithilfe von vertrauenswürdigen Ausführungsumgebungen (TEEs) zu beschleunigen, um sie für großskalige Anwendungen nutzbar zu machen. Motiviert durch die Vision einer dezentralen, nicht monopolistischen Lösung im Bereich des öffentlichen Personenverkehrs konnte er zeigen, dass sein Ansatz europaweit skalierbar ist und zugleich eine hohe Resilienz gegenüber Angriffen aufweist. Wir gratulieren unserem Kollegen herzlich zu diesem großartigen Erfolg!
Wir waren mit dem Vortrag „Eventually Consistent Access Control: Practical Insights on Matrix from Decentralized Systems Theory” auf der Matrix-Konferenz 2025 in Strasbourg. Der Vortrag gibt einen Überblick über die für Matrix relevanten Grundlagen von dezentralen Systemen, und fasst unsere Forschung der letzten Jahre zusammen. Die Aufzeichnung ist frei verfügbar.