Search for "Kat" returned 5621 results

Verified Firewall Ruleset Verification
32 min

Verified Firewall Ruleset Verification

Math, Functional Programming, Theorem Proving, and an…

Designing PCBs with code
21 min

Designing PCBs with code

Is designing circuits with code instead of CAD the future…

Media Coverage and the Public in the Surveillance Society
60 min

Media Coverage and the Public in the Surveillance Society

Findings from a Research Project on Digital Surveillance…

Lifting the Fog on Red Star OS
60 min

Lifting the Fog on Red Star OS

A deep dive into the surveillance features of North Korea's…

Shopshifting
60 min

Shopshifting

The potential for payment system abuse

Profiling (In)justice
60 min

Profiling (In)justice

Disaggregating Data by Race and Ethnicity to Curb…

The Nibbletronic
20 min

The Nibbletronic

A DIY MIDI Controller and a New UI for Wind Instruments

SiliVaccine: North Korea's Weapon of Mass Detection
52 min

SiliVaccine: North Korea's Weapon of Mass Detection

How I Learned to Stop Worrying and Love the Backdoor

CAESAR and NORX
61 min

CAESAR and NORX

Developing the Future of Authenticated Encryption

Dissecting VoLTE
49 min

Dissecting VoLTE

Exploiting Free Data Channels and Security Problems