A wide variety of video material distributed by the Chaos Computer Club. This feed contains all events from 34c3 as mp3
https://media.ccc.de/c/34c3
Gesamtlänge aller Episoden: 5 days 10 hours 39 minutes
recommended podcasts
Tightening the Net in Iran (34c3)
The Situation of Censorship and Surveillance in Iran, and What Should Be Done
How can you trust formally verified software? (34c3)
Formal verification of software has finally started to become viable: we have examples of formally verified microkernels, realistic compilers, hypervisors etc. These are huge achievements and we can expect to see even more impressive results in the future but the correctness proofs depend on a number of assumptions about the Trusted Computing Base that the software depends on...
Der netzpolitische Wetterbericht (34c3)
Wird es Regen geben? Ein Ausblick auf die neue Legislaturperiode
Uncovering British spies’ web of sockpuppet social media personas (34c3)
The Joint Threat Research Intelligence Group (JTRIG), a unit in one of Britain’s intelligence agencies, is tasked with creating sockpuppet accounts and fake content on social media, in order to use "dirty tricks" to "destroy, deny, degrade [and] disrupt" enemies by "discrediting" them. In this talk, we reveal some of that content, in relation to infiltrating activists groups around the world, including during the Arab spring and Iranian revolution. about this event: https://fahrplan.events.ccc...
Forensic Architecture (34c3)
Forensic Architecture is an independent research agency that undertakes historical and theoretical examinations of the history and present in articulating notions of public truth.
End-to-end formal ISA verification of RISC-V processors with riscv-formal (34c3)
Formal hardware verification (hardware model checking) can prove that a design has a specified property. Historically only very simple properties in simple designs have been provable this way, but improvements in model checkers over the last decade enable us to prove very complex design properties nowadays. riscv-formal is a framework for formally verifying RISC-V processors directly against a formal ISA specification...