34C3: TUWAT

How can you trust formally verified software?

• 28 min
• 2017-12-27
• 1.8k
• Alastair Reid

End-to-end formal ISA verification of RISC-V processors with riscv-formal

• 29 min
• 2017-12-27
• 1.6k
• Clifford Wolf

Bringing Linux back to server boot ROMs with NERF and Heads

• 29 min
• 2017-12-29
• 2.8k
• Trammell Hudson

May contain DTraces of FreeBSD

• 30 min
• 2017-12-28
• 1.5k
• raichoo

Hardening Open Source Development

• 30 min
• 2017-12-30
• 930
• gronke

OONI: Let's Fight Internet Censorship, Together!

The Open Observatory of Network Interference

• 30 min
• 2017-12-29
• 500
• Arturo Filastò (hellais)

Mietshäusersyndikat: den Immobilienmarkt hacken

Wie man ein Haus kaufen kann ohne es zu besitzen

• 30 min
• 2017-12-30
• 6.5k
• Anita Hopes

Briar

Resilient P2P Messaging for Everyone

• 31 min
• 2017-12-30
• 3.1k
• Torsten Grote

Growing Up Software Development

From Hacker Culture to the Software of the Future

• 31 min
• 2017-12-28
• 2.0k
• Mike Sperber

Organisational Structures for Sustainable Free Software Development

• 31 min
• 2017-12-30
• 465
• mo

library operating systems

reject the default reality^W abstractions and substitute…

• 32 min
• 2017-12-30
• 771
• Mindy Preston

Modern key distribution with ClaimChain

A decentralized Public Key Infrastructure that supports…

• 32 min
• 2017-12-30
• 830
• prometheas

hacking disaster

mit Krisenintervention den Kapitalismus hacken

• 35 min
• 2017-12-27
• 7.4k
• Sebastian Jünemann

Practical Mix Network Design

Strong metadata protection for asynchronous messaging

• 46 min
• 2017-12-27
• 752
• David Stainton and jeffburdges

Deep Learning Blindspots

Tools for Fooling the "Black Box"

• 53 min
• 2017-12-28
• 5.9k
• Katharine Jarmul

The Internet in Cuba: A Story of Community Resilience

Get a unique tour of some of the world’s most unusual…

• 58 min
• 2017-12-30
• 2.8k
• Will Scott and kopek

Ein Festival der Demokratie

Von Technik, Kollaborationen und Erreichtem zum G20-Gipfel…

• 61 min
• 2017-12-29
• 2.4k
• Daniel Möring (TINT Kollektiv), h01ger, nuriye@thereisnotime.net, maren@nadir.org and Oliver Gemballa

Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware…

• 61 min
• 2017-12-29
• 4.0k
• Adam Chlipala

How Alice and Bob meet if they don't like onions

Survey of Network Anonymisation Techniques

• 61 min
• 2017-12-29
• 1.9k
• Tobias Mueller, Erik and Matthias