The seminar aims at providing students with a comprehensive background on the theoretical foundations of blockchain technologies, covering a variety of topics such as consensus algorithms, cryptographic protocols, semantics of smart contracts, and more.
This seminar is particularly suitable for students willing to write a master thesis or pursue a PhD in this area.
Recent research papers on blockchain technologies.
Presentation and critical analysis of research papers in the field.
Students actively enrolled in the Formal Method for Security and Privacy course who did not yet get a certificate can contact us for manual registration.
Die bzw. der Studierende muss zumindest 1 Lehrveranstaltung(en) aus folgender LVA Liste positiv absolviert haben:
A background in cryptography and/or security and/or cryptocurrencies is desirable.