Search for "43" returned 3383 results

Formal Verification of Verilog HDL with Yosys-SMTBMC
52 min

Formal Verification of Verilog HDL with Yosys-SMTBMC

KTRW: The journey to build a debuggable iPhone
54 min

KTRW: The journey to build a debuggable iPhone

WarGames in memory
56 min

WarGames in memory

what is the winning move?

Type confusion: discovery, abuse, and protection
56 min

Type confusion: discovery, abuse, and protection

rad1o++
58 min

rad1o++

half a year later

Tales from the Quantum Industry
45 min

Tales from the Quantum Industry

3 1/2 Wahrheiten zur Lebensorganisation
12 min

3 1/2 Wahrheiten zur Lebensorganisation

30 Jahre Try and Error – das eigene Leben effektiv…

Thunderstrike: EFI bootkits for Apple MacBooks
57 min

Thunderstrike: EFI bootkits for Apple MacBooks

Antipatterns und Missverständnisse in der Softwareentwicklung
33 min

Antipatterns und Missverständnisse in der Softwareentwicklung

Eine Geschichte voller Missverständnisse

Breaking Honeypots for Fun and Profit
54 min

Breaking Honeypots for Fun and Profit

net neutrality: days of future past?
60 min

net neutrality: days of future past?

Taking stock after two years of net neutrality in the…

Avoiding kernel panic: Europe’s biggest fails in digital policy-making
61 min

Avoiding kernel panic: Europe’s biggest fails in digital policy-making

How the institutions fuck up, and how we fuck it up as well

Million Dollar Dissidents and the Rest of Us
53 min

Million Dollar Dissidents and the Rest of Us

Uncovering Nation-State Mobile Espionage in the Wild

Towards General Purpose Reconfigurable Computing on Novena
59 min

Towards General Purpose Reconfigurable Computing on Novena

FPGAs for Everybody with Novena

Programming FPGAs with PSHDL
61 min

Programming FPGAs with PSHDL

Let's create the Arduino for FPGAs

(In)Security of Embedded Devices' Firmware - Fast and Furious at Large Scale
59 min

(In)Security of Embedded Devices' Firmware - Fast and Furious at Large Scale

Programming with dependent types in Idris
56 min

Programming with dependent types in Idris

Namensauflösung im Internet - ein neues Geschäftsmodell?
42 min

Namensauflösung im Internet - ein neues Geschäftsmodell?

Security Nightmares 0x13
71 min

Security Nightmares 0x13

Erklärhaj experimentiert mit Farben
64 min

Erklärhaj experimentiert mit Farben

34C3 Abschluss
46 min

34C3 Abschluss

#tuwat

37C3: Feierliche Eröffnung
35 min

37C3: Feierliche Eröffnung

BREACH in Agda
49 min

BREACH in Agda

Security notions, proofs and attacks using dependently…

Glimpse over Wikidata
30 min

Glimpse over Wikidata

Die Technik hinter Teletext
38 min

Die Technik hinter Teletext