Search for "Hans de Raad" returned 1095 results
56 min
Viva la Vita Vida
Hacking the most secure handheld console
62 min
Getting software right with properties, generated tests, and proofs
Evolve your hack into robust software!
25 min
»Hard Drive Punch«
Destroying data as a performative act
57 min
A New Dark Age
Turbulence, Big Data, AI, Fake News, and Peak Knowledge
33 min
Robot Music
The Robots Play Our Music and What Do We Do?
35 min
Internet of toilets
Trends in the sanitarian territory
31 min
The woman behind your WiFi
Hedy Lamarr: Frequency Hopping in Hollywood
61 min
Trustworthy secure modular operating system engineering
fun(ctional) operating system and security protocol…
58 min
The Magic World of Searchable Symmetric Encryption
A brief introduction to search over encrypted data
58 min
Open Source Estrogen
From molecular colonization to molecular collaboration
38 min
Hunting the Sigfox: Wireless IoT Network Security
Dissecting the radio protocol of Sigfox, the global…
60 min
A Story of Discrimination and Unfairness
Prejudice in Word Embeddings
43 min
Sanitizing PCAPs
Fun and games until someone uses IPv6 or TCP
30 min
Automatically Subtitling the C3
How speech processing helps the CCC subtitle project, and…
53 min
Million Dollar Dissidents and the Rest of Us
Uncovering Nation-State Mobile Espionage in the Wild
64 min