GTSSLR: Formalization of network properties for resilient DLTs

As part of the GT SSLR thematic day on 2021-05-11, Stefan presented his thesis under the title Formalization of network properties for resilient DLTs. The poster, slides, and paper are available on the website of the research group.