Search for "ths" returned 9237 results

Getting software right with properties, generated tests, and proofs
62 min

Getting software right with properties, generated tests, and proofs

Evolve your hack into robust software!

Debugging Microcontrollers
39 min

Debugging Microcontrollers

To sign or not to sign: Practical vulnerabilities in GPG & friends
48 min

To sign or not to sign: Practical vulnerabilities in GPG & friends

Confessions of a future terrorist
58 min

Confessions of a future terrorist

A rough guide to over-regulating free speech with…

How to escape from a WW2 POW Camp
24 min

How to escape from a WW2 POW Camp

Can quantum physics break cryptography's curse?
59 min

Can quantum physics break cryptography's curse?

On Smart Cities, Smart Energy, And Dumb Security
45 min

On Smart Cities, Smart Energy, And Dumb Security

Mobile phone call encryption
69 min

Mobile phone call encryption

Encrypting (GSM) mobile phone calls over VPN with an…

How Facebook tracks you on Android
43 min

How Facebook tracks you on Android

(even if you don’t have a Facebook account)

FPGA 101
54 min

FPGA 101

Making awesome stuff with FPGAs

1000 Gestalten
45 min

1000 Gestalten

Running around in circles and why it isn't as useless as you first expect.
18 min

Running around in circles and why it isn't as useless as you first expect.

Dissecting and fixing Vulkan rendering issues in drivers with RenderDoc
25 min

Dissecting and fixing Vulkan rendering issues in drivers with RenderDoc

io-sim: testing, simulating, and prototyping concurrent programs in Haskell
31 min

io-sim: testing, simulating, and prototyping concurrent programs in Haskell

Live querying: let’s explore Wikidata together!
30 min

Live querying: let’s explore Wikidata together!

Robots for fun and research
54 min

Robots for fun and research

Julian Assange and WikiLeaks: anatomy of a persecution
63 min

Julian Assange and WikiLeaks: anatomy of a persecution

How our Cloudy Mindsets Approached Physical Routers (or: SNMP was not an option)
32 min

How our Cloudy Mindsets Approached Physical Routers (or: SNMP was not an option)

How we changed openSUSE developement
43 min

How we changed openSUSE developement

Going from generic distro to stable rolling and feature…

Fuzzy Fuzzy Logic
25 min

Fuzzy Fuzzy Logic

build ccc camp into a computer game mod
50 min

build ccc camp into a computer game mod

Seams Like Magic: A primer on sewing basics
27 min

Seams Like Magic: A primer on sewing basics

How to build a multi-tenant ISP backbone with BGP/EVPN
19 min

How to build a multi-tenant ISP backbone with BGP/EVPN

Accessibility Matters: Creating a Better Web
29 min

Accessibility Matters: Creating a Better Web

phyphox: Using smartphone sensors for physics experiments
56 min

phyphox: Using smartphone sensors for physics experiments

An open source project for education, research and tinkering