Search for ".egd" returned 1608 results
62 min
Getting software right with properties, generated tests, and proofs
Evolve your hack into robust software!
52 min
SiliVaccine: North Korea's Weapon of Mass Detection
How I Learned to Stop Worrying and Love the Backdoor
32 min
Eye Wear Computing
Augmenting the Human Mind
91 min
What the World can learn from Hongkong
From Unanimity to Anonymity
64 min
"Exploit" in theater
post-existentialism is the question, not post-privacy
59 min
Hacking EU funding for a decentralizing FOSS project
Understanding and adapting EU legal guidelines from a FOSS…
42 min
Firmware Fat Camp
Embedded Security Using Binary Autotomy
61 min
Safe and Secure Drivers in High-Level Languages
How to write PCIe drivers in Rust, go, C#, Swift, Haskell,…
28 min
Home Distilling
Theory and practice of moonshining and legal distilling
63 min
Kritikalität von Rohstoffen - wann platzt die Bombe?
Ein nicht nuklearer Blick auf das Ende der Welt
46 min
Practical Mix Network Design
Strong metadata protection for asynchronous messaging
63 min
Dissecting HDMI
Developing open, FPGA-based capture hardware for conference…
45 min
HbbTV Security
OMG - my Smart TV got pr0wn3d
56 min
