Search for "Theo van Veen" returned 2375 results

libproxy
22 min

libproxy

Automatic proxy configuration

Why is it so hard to do nice things, that make a difference, with other people?
29 min

Why is it so hard to do nice things, that make a difference, with other people?

Superdirt²
74 min

Superdirt²

Running QGIS Server in production
19 min

Running QGIS Server in production

Die göttliche Informatik
61 min

Die göttliche Informatik

Die Informatik löst formale (mathematisch modellierte)…

Hacking with Microbes
52 min

Hacking with Microbes

Infrastructure-as-Code and CI Infrastructure at OpenStack
50 min

Infrastructure-as-Code and CI Infrastructure at OpenStack

Facebook Files Explained
44 min

Facebook Files Explained

A Tale of Two Leaks:
31 min

A Tale of Two Leaks:

How Hackers Breached the Great Firewall of China

Evaluating student motivation and productivity during mapathons
16 min

Evaluating student motivation and productivity during mapathons

Why automated number plate recognition systems suck
26 min

Why automated number plate recognition systems suck

Analysis of OSM data through OSM-Notes user posting
23 min

Analysis of OSM data through OSM-Notes user posting

OpenTC: An Open Approach to Trusted Virtualization
56 min

OpenTC: An Open Approach to Trusted Virtualization

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

How we created a hackathon with 50/50 female and male participants
19 min

How we created a hackathon with 50/50 female and male participants

Playing with casync @ instagram
15 min

Playing with casync @ instagram

Firmware Fat Camp
42 min

Firmware Fat Camp

Embedded Security Using Binary Autotomy

Using Arduinos to Resurrect an Airliner Wing
28 min

Using Arduinos to Resurrect an Airliner Wing

Slim device software with systemd targets and nspawn
24 min

Slim device software with systemd targets and nspawn

Prototypes to Props: How to Build and Hack in the Film/TV Industry
32 min

Prototypes to Props: How to Build and Hack in the Film/TV Industry

About Gamma-Ray Bursts And Boats
61 min

About Gamma-Ray Bursts And Boats

What We (Don't) Know About the Most Energetic Events in the…

How can you trust formally verified software?
28 min

How can you trust formally verified software?

Tales of old: untethering iOS 11
39 min

Tales of old: untethering iOS 11

Spoiler: Apple is bad at patching

RFC 9420 or how to scale end-to-end encryption with Messaging Layer Security
40 min

RFC 9420 or how to scale end-to-end encryption with Messaging Layer Security

Lightning Talks Day 4
121 min

Lightning Talks Day 4