32 min
Craft, leisure, and end-user innovation
How hacking is conceived in social science research
32 min
Verified Firewall Ruleset Verification
Math, Functional Programming, Theorem Proving, and an…
34 min
Ling - High level system programming
modular and precise resource management
48 min
REXUS/BEXUS - Rocket and Balloon Experiments for University Students
How to bring student experiments into space.
56 min
Household, Totalitarianism and Cyberspace
Philosophical Perspectives on Privacy Drawing on the…
57 min
“I feel like a criminal and I have to be god at the same time”
Perceptions of hackers and hacktivists on their…
58 min
The Magic World of Searchable Symmetric Encryption
A brief introduction to search over encrypted data
59 min
Say hi to your new boss: How algorithms might soon control our lives.
Discrimination and ethics in the data-driven society
60 min
Media Coverage and the Public in the Surveillance Society
Findings from a Research Project on Digital Surveillance…
60 min
Quantum Cryptography
from key distribution to position-based cryptography
61 min
Quantenphysik und Kosmologie
Eine Einführung für blutige Anfänger
61 min
Computational Meta-Psychology
An Artificial Intelligence exploration into the creation of…
62 min