Search for "Hans de Raad" returned 1042 results

Type theory and meaning in linguistics

• about:future hacc
• 60 min
• 2020-12-27
• 658
• daherb
Remote Chaos Experience

UPSat - the first open source satellite

Going to space the libre way

• 33 min
• 2017-12-29
• 1.3k
• Pierros Papadeas
34C3: TUWAT

Hardening Open Source Development

• 30 min
• 2017-12-30
• 930
• gronke
34C3: TUWAT

How can you trust formally verified software?

• 28 min
• 2017-12-27
• 1.8k
• Alastair Reid
34C3: TUWAT

radare demystified

after 1.0

• 62 min
• 2016-12-29
• 4.3k
• pancake
33C3: works for me

net neutrality: days of future past?

Taking stock after two years of net neutrality in the…

• 60 min
• 2014-12-28
• 1.5k
• Rejo Zenger and Thomas Lohninger
31C3: a new dawn

Mining for Bugs with Graph Database Queries

• 55 min
• 2014-12-28
• 2.8k
• fabs
31C3: a new dawn

Encrypted DNS? D'oh! - The Good, Bad and Ugly of DNS-over-HTTPS (DoH)

• All about computers ChaosWest
• 51 min
• 2019-12-28
• 2.2k
• Sebastian
36C3: Resource Exhaustion

Demystifying Network Cards

Things you always wanted to know about NIC drivers

• 31 min
• 2017-12-27
• 13.5k
• Paul Emmerich
34C3: TUWAT

QRtistry

One can create art and beauty with … pixels

• 28 min
• 2015-12-29
• 9.5k
• Henryk Plötz
32C3: gated communities

Wikidata for (Data) Journalists

• WikiPaka
• 25 min
• 2020-12-28
• 174
• Elisabeth Giesemann
Remote Chaos Experience

The eXperimental Robot Project

An open-hardware bipedal walking machine

• 50 min
• 2014-12-27
• 951
• Norbert Braun and darthrake
31C3: a new dawn

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

• Fundamentals
• 69 min
• 2021-12-28
• 240
• Rajeev Gore
rC3 NOWHERE

Retail Surveillance / Retail Countersurveillance

50 most unwanted retail surveillance technologies / 50 most…

• 33 min
• 2016-12-30
• 5.4k
• Adam Harvey
33C3: works for me

Forensic Architecture

Forensic Architecture is an independent research agency…

• 43 min
• 2017-12-27
• 1.5k
• Eyal Weizman
34C3: TUWAT

Spy vs. Spy: A Modern Study Of Microphone Bugs Operation And Detection

• 62 min
• 2017-12-28
• 6.0k
• Veronica Valeros and Sebastian Garcia
34C3: TUWAT

How to Break PDFs

Breaking PDF Encryption and PDF Signatures

• Security Main
• 58 min
• 2019-12-27
• 7.4k
• Fabian Ising and Vladislav Mladenov
36C3: Resource Exhaustion

Anthropology for kids - What is privacy?

• 25 min
• 2016-12-27
• 1.5k
• Nika Dubrovsky
33C3: works for me

My journey into FM-RDS

• 36 min
• 2013-12-28
• 10.1k
• Oona Räisänen
30C3

Policing in the age of data exploitation

• 60 min
• 2017-12-29
• 875
• Eva Blum--Dumontet and Millie Wood
34C3: TUWAT

The Economic Consequences of Internet Censorship

Why Censorship is a Bad Idea for Everyone

• 31 min
• 2016-12-30
• 863
• Toni
33C3: works for me

Saving the World with Space Solar Power

or is it just PEWPEW?!

• 25 min
• 2017-12-29
• 1.0k
• anja and sjunk
34C3: TUWAT

Building Custom Pinball Machines

What you need and how it works. An experiences report

• 63 min
• 2016-12-29
• 2.6k
• jab
33C3: works for me

Unpacking the compromises of Aadhaar, and other digital identities inspired by it

Governments around the world are implementing digital…

• Ethics, Society & Politics Main
• 38 min
• 2019-12-30
• 663
• Kiran Jonnalagadda
36C3: Resource Exhaustion

Jailbreaking iOS

From past to present

• 47 min
• 2018-12-28
• 3.2k
• tihmstar
35C3: Refreshing Memories