Search for "Hans de Raad" returned 1042 results

AI in Wikipedia
37 min

AI in Wikipedia

(In)Security of Embedded Devices' Firmware - Fast and Furious at Large Scale
59 min

(In)Security of Embedded Devices' Firmware - Fast and Furious at Large Scale

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

Open Hardware Happy Hour (O3H)
62 min

Open Hardware Happy Hour (O3H)

Thrust is not an Option: How to get to Mars really slow
60 min

Thrust is not an Option: How to get to Mars really slow

How does the Internet work?
50 min

How does the Internet work?

An explanation of Inter-Net and everyday protocols

Reverse engineering of CHIASMUS from GSTOOL
48 min

Reverse engineering of CHIASMUS from GSTOOL

It hurts.

Trustworthy secure modular operating system engineering
61 min

Trustworthy secure modular operating system engineering

fun(ctional) operating system and security protocol…

Hardening Open Source Development
30 min

Hardening Open Source Development

Exploiting PHP7 unserialize
44 min

Exploiting PHP7 unserialize

teaching a new dog old tricks

Open Source Estrogen
58 min

Open Source Estrogen

From molecular colonization to molecular collaboration

Open-BCI DIY-Neuroscience Maker-Art Mind-Hacking
38 min

Open-BCI DIY-Neuroscience Maker-Art Mind-Hacking

open source DIY brain-computer-interfaces | technology and…

Let's Encrypt
62 min

Let's Encrypt

A Free Robotic Certificate Authority

Million Dollar Dissidents and the Rest of Us
53 min

Million Dollar Dissidents and the Rest of Us

Uncovering Nation-State Mobile Espionage in the Wild

Type theory and meaning in linguistics
60 min

Type theory and meaning in linguistics

We only have one earth
64 min

We only have one earth

A case for expansionistic space policy

QRtistry
28 min

QRtistry

One can create art and beauty with … pixels

Higher-Dimensional Geometry and Fractals
30 min

Higher-Dimensional Geometry and Fractals

What is the value of anonymous communication?
60 min

What is the value of anonymous communication?

Inside Intel Management Engine
51 min

Inside Intel Management Engine

From Computation to Consciousness
60 min

From Computation to Consciousness

How computation helps to explain mind, universe and…

SCION for a greener Internet?
21 min

SCION for a greener Internet?

Home Distilling
28 min

Home Distilling

Theory and practice of moonshining and legal distilling

EUDataP: State of the Union
72 min

EUDataP: State of the Union

Formally Verified and Publicly Verifiable E-counting For Complex Voting Schemes
69 min

Formally Verified and Publicly Verifiable E-counting For Complex Voting Schemes