Search for "Clifford"

A Free and Open Source Verilog-to-Bitstream Flow for iCE40 FPGAs
59 min

A Free and Open Source Verilog-to-Bitstream Flow for iCE40 FPGAs

32C3: gated communities
Formal Verification of Verilog HDL with Yosys-SMTBMC
52 min

Formal Verification of Verilog HDL with Yosys-SMTBMC

33C3: works for me
Verilog Synthesis and more with Yosys
113 min

Verilog Synthesis and more with Yosys

Easterhegg 2016
Python Gradual Typing: The Good, The Bad and the Ugly
35 min

Python Gradual Typing: The Good, The Bad and the Ugly

BOB Konferenz 2022
The nextpnr FOSS FPGA place-and-route tool
46 min

The nextpnr FOSS FPGA place-and-route tool

the next step forward in open source FPGA tools

35C3: Refreshing Memories
End-to-end formal ISA verification of RISC-V processors with riscv-formal
29 min

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

34C3: TUWAT
The KGB Hack: 30 Years Later
47 min

The KGB Hack: 30 Years Later

Looking back at the perhaps most dramatic instance of…

36C3: Resource Exhaustion
Linux on Open Source Hardware with Open Source chip design
41 min

Linux on Open Source Hardware with Open Source chip design

36C3: Resource Exhaustion
Policing the Romantic Crowd
38 min

Policing the Romantic Crowd

Velocipedes and Face Recognition

  • 38 min
  • 2013-12-27
  • 102
  • MaTu
30C3
Reverse engineering FPGAs
42 min

Reverse engineering FPGAs

Dissecting FPGAs from bottom up, extracting schematics and…

34C3: TUWAT
Compileroptimierungen für Forth im Microcontroller
60 min

Compileroptimierungen für Forth im Microcontroller

Mecrisp intern

32C3: gated communities
How can you trust formally verified software?
28 min

How can you trust formally verified software?

34C3: TUWAT
LibreSilicon's Standard Cell Library (de)
60 min

LibreSilicon's Standard Cell Library (de)

show + tell

36C3: Resource Exhaustion
TrustZone-M(eh): Breaking ARMv8-M's security
57 min

TrustZone-M(eh): Breaking ARMv8-M's security

Hardware attacks on the latest generation of ARM Cortex-M…

36C3: Resource Exhaustion
How to Design Highly Reliable Digital Electronics
62 min

How to Design Highly Reliable Digital Electronics

36C3: Resource Exhaustion
Dissecting HDMI
63 min

Dissecting HDMI

Developing open, FPGA-based capture hardware for conference…

33C3: works for me
Are machines feminine?
60 min

Are machines feminine?

exploring the relations between design and perception of…

35C3: Refreshing Memories
Art of the Exploit: An Introduction to Critical Engineering
58 min

Art of the Exploit: An Introduction to Critical Engineering

30C3
Hacker Jeopardy
115 min

Hacker Jeopardy

Zahlenraten für Geeks

36C3: Resource Exhaustion