Search for "26" returned 4166 results

BREACH in Agda
49 min

BREACH in Agda

Security notions, proofs and attacks using dependently…

CR214 - Hackerethik
117 min

CR214 - Hackerethik

Von moralischer Flexibilität und ihren Folgen

What does Big Brother see, while he is watching?
60 min

What does Big Brother see, while he is watching?

Uncovering images from the secret Stasi archives.

Ziviler Ungehorsam bis zum Gefängnis
67 min

Ziviler Ungehorsam bis zum Gefängnis

Die geistigen Grundlagen des Zivilen Ungehorsams und seine…

Tractors, Rockets and the Internet in Belarus
43 min

Tractors, Rockets and the Internet in Belarus

How belarusian authoritarian regime is using technologies…

Linux - warum wechseln?
76 min

Linux - warum wechseln?

Wie ich zu Linux kam - und warum ich dabei bleibe

CR205 - Vintage Computing
119 min

CR205 - Vintage Computing

Von Rechenmaschinen und Home Computern

Satisfiability Modulo Theories
46 min

Satisfiability Modulo Theories

Using OS to solve hard problems

Little Big Data
46 min

Little Big Data

Spurensuche in elektronischen Teilnehmerverzeichnissen

DESINFORMATION
94 min

DESINFORMATION

Ein Lehrstück über die erwünschte Geschichte