36C3 - Getting software right with properties, generated tests, and proofs

(1:2:48)

36C3 - High-assurance crypto software

(1:1:7)

36C3 ChaosWest: The dire Reality of the Climate Crisis

(51:45)

36C3 - Understanding millions of gates

(35:53)

36C3 - The ecosystem is moving

(43:3)

36C3 - Getting software right with properties, generated tests, and proofs - deutsche Übersetzung

(1:2:48)

36C3 - The KGB Hack: 30 Years Later

(47:47)

36C3 ChaosWest: NOTH1NG T0 HID3: go out and fix privacy!

(53:10)

36C3 - The Case for Scale in Cyber Security

(32:19)

36C3 - What's left for private messaging?

(1:4)

36C3 - Tales of old: untethering iOS 11

(39:15)

36C3 Wikipaka WG: KDE Itinerary - A privacy by design travel assistant

(33:26)

36C3 - It's not safe on the streets... especially for your 3DS!

(46:29)

36C3 - Harry Potter and the Not-So-Smart Proxy War

(35:54)

36C3 - Email authentication for penetration testers

(1:1:53)

36C3 ChaosWest: Storing energy in the 21st centruy

(52:36)

36C3 - How to Break PDFs

(58:43)

36C3 - p2panda

(1:2:16)

36C3 - Intel Management Engine deep dive

(1:8)

36C3 - Algorithm | Diversion

(55:53)