Search for "Theo Bruns" returned 495 results

Verified Firewall Ruleset Verification
32 min

Verified Firewall Ruleset Verification

Math, Functional Programming, Theorem Proving, and an…

Vehicle immobilization revisited
55 min

Vehicle immobilization revisited

Uncovering and assessing a second authentication mechanism…

Hack_Curio
58 min

Hack_Curio

Decoding The Cultures of Hacking One Video at a Time

Domain Name System
42 min

Domain Name System

Hierarchical decentralized naming system used since 30 years

Visiting The Bear Den
59 min

Visiting The Bear Den

A Journey in the Land of (Cyber-)Espionage

Surveilling the surveillers
53 min

Surveilling the surveillers

About military RF communication surveillance and other…

The GNU Name System
51 min

The GNU Name System

A Decentralized PKI For Social Movements

Why is GPG "damn near unusable"?
60 min

Why is GPG "damn near unusable"?

An overview of usable security research

Technology and Mass Atrocity Prevention
32 min

Technology and Mass Atrocity Prevention

Overview on Current Efforts - We Need Moar H4x0rs?!

Quantum Cryptography
60 min

Quantum Cryptography

from key distribution to position-based cryptography

Software Defined Emissions
60 min

Software Defined Emissions

A hacker’s review of Dieselgate

Revisiting SSL/TLS Implementations
55 min

Revisiting SSL/TLS Implementations

New Bleichenbacher Side Channels and Attacks

ID Cards in China: Your Worst Nightmare
39 min

ID Cards in China: Your Worst Nightmare

In China Your ID Card Knows Everything