Type | lecture |
---|---|
Language | German |
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 |
From a starshade on a spaceship to a nanobot that dissolves, the art of paperfolding has been applied in many disciplins. AND we want more, we want to keep dreaming! This talk will show another relationship to paper art and its use in future technology. It is about the paper art works by creator Julian Park from South Korea and their potential in 4D-printing. JPC is unique because it allows creative thinking in spatial dimensions. A single piece of paper turns into a three-dimentional figure ...
|
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.
|