Search for "17" returned 4550 results
32 min
Verified Firewall Ruleset Verification
Math, Functional Programming, Theorem Proving, and an…
62 min
Was schützt eigentlich der Datenschutz?
Warum DatenschützerInnen aufhören müssen von individueller…
41 min
Locked up science
Tearing down paywalls in scholarly communication
46 min
Climate Modelling
The Science Behind Climate Reports
62 min
Getting software right with properties, generated tests, and proofs
Evolve your hack into robust software!
58 min
Open Source Estrogen
From molecular colonization to molecular collaboration
35 min
Ethics in the data society
Power and politics in the development of the driverless car
65 min
Mind-Hacking mit Psychedelika
Eine Einführung in die Wirkungsweise psychedelischer…
51 min
How to drift with any car
(without your mom yelling at you)
58 min
How risky is the software you use?
CITL: Quantitative, Comparable Software Risk Reporting
60 min
Breaking Baryons
On the Awesomeness of Particle Accelerators and Colliders
60 min
Lifting the Fog on Red Star OS
A deep dive into the surveillance features of North Korea's…
60 min
Shopshifting
The potential for payment system abuse
56 min
Rhetorische Selbstsabotage: Was eigentlich passiert, wenn wir reden
Einige Gedanken über Stimme und wie wir sagen können, was…
63 min
Reproducible Builds
Moving Beyond Single Points of Failure for Software…
55 min
Cyber Necromancy
Reverse Engineering Dead Protocols
63 min
Das nützlich-unbedenklich Spektrum
Können wir Software bauen, die nützlich /und/ unbedenklich…
53 min
From Maxwell to antenna arrays
How 150 year old equations still help to communicate
63 min