Search for "Kat" returned 5621 results
32 min
Verified Firewall Ruleset Verification
Math, Functional Programming, Theorem Proving, and an…
21 min
Designing PCBs with code
Is designing circuits with code instead of CAD the future…
60 min
Media Coverage and the Public in the Surveillance Society
Findings from a Research Project on Digital Surveillance…
60 min
Lifting the Fog on Red Star OS
A deep dive into the surveillance features of North Korea's…
60 min
Shopshifting
The potential for payment system abuse
60 min
Profiling (In)justice
Disaggregating Data by Race and Ethnicity to Curb…
20 min
The Nibbletronic
A DIY MIDI Controller and a New UI for Wind Instruments
52 min
SiliVaccine: North Korea's Weapon of Mass Detection
How I Learned to Stop Worrying and Love the Backdoor
58 min
Virtual Machine Introspection
From the Outside Looking In
59 min
Where in the World Is Carmen Sandiego?
Becoming a secret travel agent
61 min
CAESAR and NORX
Developing the Future of Authenticated Encryption
49 min
