Search for "Kemo" returned 689 results
49 min
BREACH in Agda
Security notions, proofs and attacks using dependently…
41 min
NGI Zero: A treasure trove of IT innovation
Resilient. Trustworthy. Sustainably Open.
60 min
Attacking end-to-end email encryption
Efail, other attacks and lessons learned.
54 min
Tactical Embodiment
Activism and Performance In Hostile Spaces Online
45 min
Triggering Deep Vulnerabilities Using Symbolic Execution
Deep program analysis without the headache
61 min
How Many Planets in Our Solar System? Glad You Asked!
How Astronomy Knew 6 Planets, Then Found 20 More, Then Went…
62 min
Getting software right with properties, generated tests, and proofs
Evolve your hack into robust software!
58 min
The Ultimate Acorn Archimedes talk
Everything about the Archimedes computer (with zero…
58 min
Funkzellenabfrage: Die alltägliche Rasterfahndung unserer Handydaten
Wie wir alle regelmäßig den Behörden ins Netz gehen und wie…
61 min
wallet.fail
Hacking the most popular cryptocurrency hardware wallets
43 min
Sanitizing PCAPs
Fun and games until someone uses IPv6 or TCP
62 min
HUMUS sapiens
Open Soil Research
49 min
C2X: The television will not be revolutionized.
From Cyberfeminism to XenoFeminism
48 min
10 Years of Fun with Embedded Devices
How OpenWrt evolved from a WRT54G firmware to an universal…
53 min