Search for "Hans de Raad" returned 911 results

Verified Firewall Ruleset Verification
32 min

Verified Firewall Ruleset Verification

Math, Functional Programming, Theorem Proving, and an…

SiliVaccine: North Korea's Weapon of Mass Detection
52 min

SiliVaccine: North Korea's Weapon of Mass Detection

How I Learned to Stop Worrying and Love the Backdoor

Why Do We Anthropomorphize Computers?...
32 min

Why Do We Anthropomorphize Computers?...

...and dehumanize ourselves in the process?

Deploying TLS 1.3: the great, the good and the bad
61 min

Deploying TLS 1.3: the great, the good and the bad

Improving the encrypted the web, one round-trip at a time

Art against Facebook
40 min

Art against Facebook

Graffiti in the ruins of the feed and the…

Dissecting HDMI
63 min

Dissecting HDMI

Developing open, FPGA-based capture hardware for conference…

Attacking end-to-end email encryption
60 min

Attacking end-to-end email encryption

Efail, other attacks and lessons learned.

Memsad
61 min

Memsad

why clearing memory is hard.

Reducing Carbon in the Digital Realm
61 min

Reducing Carbon in the Digital Realm

How to understand the environmental impact of the digital…

DPRK Consumer Technology
31 min

DPRK Consumer Technology

Facts to fight lore

How to contribute to make open hardware happen
51 min

How to contribute to make open hardware happen

Mooltipass, Openpandora/Pyra and Novena/Senoko: how I…

Why Railway Is Safe But Not Secure
41 min

Why Railway Is Safe But Not Secure

Security Of Railway Communication Protocols

Through a PRISM, Darkly
63 min

Through a PRISM, Darkly

Everything we know about NSA spying