Search for "Tom Wills" returned 4751 results

Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware Development
61 min

Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware…

DNS privacy and security
87 min

DNS privacy and security

Chaos Colloquium #1

2.024 G
35 min

2.024 G

Reverse engineering the Albert Heijn app for fun and profit
29 min

Reverse engineering the Albert Heijn app for fun and profit

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

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

Making Audio for a Godot Project in FMOD
51 min

Making Audio for a Godot Project in FMOD

SCADA StrangeLove 2
41 min

SCADA StrangeLove 2

We already know

fx2adc: Using USB oscilloscopes as general purpose ADC
19 min

fx2adc: Using USB oscilloscopes as general purpose ADC

About Gamma-Ray Bursts And Boats
61 min

About Gamma-Ray Bursts And Boats

What We (Don't) Know About the Most Energetic Events in the…

PID FD-ize all the things!
4 min

PID FD-ize all the things!

Organizational Psychology and Software Teams
47 min

Organizational Psychology and Software Teams

Measurable Connections between Psychological Constructs and…

Putting Players First
22 min

Putting Players First

Human-Centered Game Development towards Accessibility &…

Writing your own Go linter
43 min

Writing your own Go linter

Piano Concert 🎹
62 min

Piano Concert 🎹

Cyber security and the joy of the false positive
31 min

Cyber security and the joy of the false positive

The science of laughter
33 min

The science of laughter

Say hi to your new boss: How algorithms might soon control our lives.
59 min

Say hi to your new boss: How algorithms might soon control our lives.

Discrimination and ethics in the data-driven society

FactHacks
76 min

FactHacks

RSA factorization in the real world

Introducing azure-init, a minimal provisioning agent written in Rust
23 min

Introducing azure-init, a minimal provisioning agent written in Rust

Rust Binary Analysis, Feature by Feature
42 min

Rust Binary Analysis, Feature by Feature

How we made the Netherlands more secure and accessible using transparency
48 min

How we made the Netherlands more secure and accessible using transparency

Casync is not dead, or how I learned to love desync
3 min

Casync is not dead, or how I learned to love desync

post-its, post-its, post-its everywhere (and how they relate to physical keys)
45 min

post-its, post-its, post-its everywhere (and how they relate to physical keys)

Non-English based Programming
19 min

Non-English based Programming

Collaborative cartography of cycling infrastructure for route and thematic maps in Medellin, Colombia
11 min

Collaborative cartography of cycling infrastructure for route and thematic maps in…