Type | lecture |
---|---|
Language | English |
9/19/20 |
Wir geben einen Einblick in die Technik hinter den Datenspuren 2020 und zeigen, wie man live mitmachen kann.
|
9/19/20 |
Die Verifikation von Software, also das Beweisen von Eigenschaften auf Basis des Programmcodes hat in den vergangenen Jahren signifikante Fortschritte gemacht. Insbesondere die Automatisierung von Beweisen erlaubt mittlerweile eine Softwareverifikation ohne tiefgreifende Wissen in formalen Methoden.
|
9/19/20 |
Einsteiger CTF mit Boot2Root
|
9/19/20 |
Um die Virenlast in der neuen Welt unter Kontrolle zu halten, wurden Signalsender installiert. Die Empfangstechnik ist jedoch nicht überall verfügbar. Ein micro:Gerät soll hier Abhilfe schaffen.
|
9/19/20 |
Eine Einführung in die Quantenkryptografie mit Uli Kleemann für Nicht Physiker und Mathematiker mit Viedeosequenzen
|
9/19/20 |
Der GNUnet Workshop hilft jedem Linux Nutzer GNUnet zu installieren, und Applikation die auf GNUnet aufbauen auszuprobieren. Für technisch Interessierte und Entwickler wird ein Blick unter die Haube von GNUnet geworfen.
|
9/20/20 |
Dies ist ein Leitfaden zur digitalen Selbstverteidigung mit besonderem Fokus auf Aktivismus, Demonstrationen und politische Teilhabe. Es wird diskutiert, wieso Datenschutz und Verschlüsselung wichtig sind und wie man mit einfachen Mitteln sein digitales Leben schützen kann.
|