Search for "25" returned 4422 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

Little Big Data
46 min

Little Big Data

Spurensuche in elektronischen Teilnehmerverzeichnissen

Tractors, Rockets and the Internet in Belarus
43 min

Tractors, Rockets and the Internet in Belarus

How belarusian authoritarian regime is using technologies…

Satisfiability Modulo Theories
46 min

Satisfiability Modulo Theories

Using OS to solve hard problems