Search for person "Ben Clifford"

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

• Talk BOB
• 35 min
• 2022-03-11
• 81
• Ben Clifford

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

• 59 min
• 2015-12-27
• 22700
• Clifford

Formal Verification of Verilog HDL with Yosys-SMTBMC

• 52 min
• 2016-12-28
• 975
• Clifford

Verilog Synthesis and more with Yosys

• 113 min
• 2016-03-25
• 531
• Clifford Wolf

DocPatch: Entdecke unsere Verfassung!

Mit der Open-Data-Plattform DocPatch das Grundgesetz…

• 46 min
• 2013-07-06
• 59
• Ben

The nextpnr FOSS FPGA place-and-route tool

the next step forward in open source FPGA tools

• 46 min
• 2018-12-28
• 875
• Clifford Wolf

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

• 29 min
• 2017-12-27
• 1482
• Clifford Wolf

Open Source Software-Toolbox für NGOs

debate 18

• 57 min
• 2021-02-04
• 544
• Ben

Magic CSS - Mehr als nur Design

• 13 min
• 2019-06-15
• 139
• Ben

INDECT, Verhaltenserkennung & Co

automatisierte staatliche Verdächtigung

• 63 min
• 2012-12-27
• 167
• Ben

Der Computertruhe e.V. stellt sich vor

• 23 min
• 2020-10-10
• 72
• Mac and Ben

Layered Nix Stores

• darmstadt nixcon2023
• 5 min
• 2023-09-09
• 177
• Ben Radford

SPAM, SPAM, SPAM - SPAM, SPIT und SPOM

Eine mehr oder weniger ernst gemeinte Betrachtung der…

• 30 min
• 2012-05-18
• 55
• Ben Fuhrmannek

Securing the Campaign

Security and the 2012 US Presidential Election

• 52 min
• 2012-12-29
• 23
• Ben Hagen

Superheroes Still Need Phoneboxes

The art of making a free phonebox and the culture of…

• 62 min
• 2014-12-28
• 1165
• Ben Dalton

101 Hacks for Late Soviet Water Towers

• 24 min
• 2018-08-31
• 526
• Ben Fitzgerald

Influence policing: a view from the cockpit of UK law enforcement’s domestic digital…

• Stage B 2024
• 29 min
• 2024-06-01
• 34
• Ben Collier

Neues @vcmap/core

• Neuigkeiten aus den Open-Source-Projekten Geo
• 22 min
• 2022-03-11
• 46
• Ben Kuster

Tastes Great, Less Wordy: Document Natural Language Processing (for Beer)

• 47 min
• 2014-08-29
• 4
• Ben Fields

Finding the Weak Crypto Needle in a Byte Haystack

Automatic detection of key-reuse vulnerabilities

• 32 min
• 2014-12-28
• 1557
• Ben H.

Here, hear: Sound-based illusions

• 25 min
• 2016-08-07
• 190
• Ben Dornan

Rust Binary Analysis, Feature by Feature

• Security
• 42 min
• 2023-12-28
• 3787
• Ben H

How the Internet has changed emergencies

• 35 min
• 2018-09-01
• 47
• Ben Proctor

Gibberish Detection 102

• 58 min
• 2015-12-29
• 21346
• Ben H.

Hacking the ZX Spectrum

• 34 min
• 2014-08-29
• 4
• Ben Heck