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
Am 29. Juni 2026 hat Matthias Grundmann erfolgreich seine Dissertation mit dem Titel „Security Aspects of Payment Channel Networks“ verteidigt. In seiner Dissertation beschreibt er einen Ansatz, mit dem er die Sicherheit des Lightning Netzwerks formal überprüft hat, er präsentiert Methoden und Ergebnisse von Messungen des Peer-to-Peer-Netzwerks von Bitcoin und entwirft neue Möglichkeiten zur Absicherung von Payment Channels. Wir gratulieren herzlich!
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!