Search for "Theo van Veen" returned 2375 results

How to Break PDFs
58 min

How to Break PDFs

Breaking PDF Encryption and PDF Signatures

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

Assertions considered Harmful
52 min

Assertions considered Harmful

recheck your test automation

Business-Intelligence und Data-Warehousing mit Kettle
43 min

Business-Intelligence und Data-Warehousing mit Kettle

How can you trust formally verified software?
28 min

How can you trust formally verified software?

MOD: building a sustainable Linux Audio based business
63 min

MOD: building a sustainable Linux Audio based business

Add depth!
42 min

Add depth!

Stereoscopic imagery for everyone

IRMA and Verifiable Credentials
30 min

IRMA and Verifiable Credentials

Light in the Dark(net)
40 min

Light in the Dark(net)

Email authentication for penetration testers
61 min

Email authentication for penetration testers

When SPF is not enough

unexpected coffee
43 min

unexpected coffee

a dive into industrial coffee machines

Making Linux Sexy: Don't Forget the End User
48 min

Making Linux Sexy: Don't Forget the End User

Is your OSM App spying on you?
27 min

Is your OSM App spying on you?

Against the (formal) method?
46 min

Against the (formal) method?

Electron microscopes - How we learned to stop worrying and love cheap lab equipment.
49 min

Electron microscopes - How we learned to stop worrying and love cheap lab equipment.

A space odyssey #2: How to study moon rocks from the Soviet sample return mission Luna 24
53 min

A space odyssey #2: How to study moon rocks from the Soviet sample return mission Luna 24

Climate breakdown – the bleak reality
65 min

Climate breakdown – the bleak reality

The Singularity: dance, digital ethics and datavis
26 min

The Singularity: dance, digital ethics and datavis

Wikidata for digital preservation: A Wikidata Portal
45 min

Wikidata for digital preservation: A Wikidata Portal

Ultrawide archaeology on Android native libraries
39 min

Ultrawide archaeology on Android native libraries

An introduction to new stream cipher designs
46 min

An introduction to new stream cipher designs

Turning data into line noise and back

Cat ears were just the beginning: Six years in onesies & what it taught me about life
41 min

Cat ears were just the beginning: Six years in onesies & what it taught me about life

Adventures with Iridium
23 min

Adventures with Iridium

An ultrashort history of ultrafast imaging
60 min

An ultrashort history of ultrafast imaging

Featuring the shortest movies and the largest lasers

GTK: are we in the future, yet?
26 min

GTK: are we in the future, yet?