Umfang

Dieses Thema kann als Projektarbeit bearbeitet werden.

Empfohlene Vorkenntnisse

  • gute B oder Event-B Kenntnisse (z.B. durch Besuch der Veranstaltung “Sicherheitskritische Systeme”)
  • Besuch der Veranstaltung “Blockchain” (auch parallel zur Projektarbeit)

Problem

Viele Aspekte von Blockchains sind komplex, wie in etwa:

  • Datenstrukturen
  • smart contracts
  • Konsensfindung
  • kryptographische Protokolle (z.B. zero knowledge)

Diese können formal modelliert werden, um starke Garantien über deren Verhalten zu gewinnen.

Minimalanforderungen

  • Modellierung von Aspekten einer Blockchain

Variationen

  • verschiedene Aspekte und Themen

Kontakt

Philipp Körner
Raum 25.12.02.56
p.koerner@hhu.de