Search for "Theo Bruns" returned 525 results

Verified Firewall Ruleset Verification
32 min

Verified Firewall Ruleset Verification

Math, Functional Programming, Theorem Proving, and an…

Internet of toilets
35 min

Internet of toilets

Trends in the sanitarian territory

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

FPGA 101
54 min

FPGA 101

Making awesome stuff with FPGAs

Finding the Weak Crypto Needle in a Byte Haystack
32 min

Finding the Weak Crypto Needle in a Byte Haystack

Automatic detection of key-reuse vulnerabilities

What The Fax?!
46 min

What The Fax?!

Hacking your network likes it's 1980 again

HAL - The Open-Source Hardware Analyzer
60 min

HAL - The Open-Source Hardware Analyzer

A dive into the foundations of hardware reverse engineering…

Tightening the Net in Iran
47 min

Tightening the Net in Iran

The Situation of Censorship and Surveillance in Iran, and…

Virtual Secure Boot
51 min

Virtual Secure Boot

Secure Boot support in qemu, kvm and ovmf.

All Our Shared Spectrum Are Belong to Us
30 min

All Our Shared Spectrum Are Belong to Us

Visualizing WLAN Channel Usage on OpenWRT

In Search of Evidence-Based IT-Security
30 min

In Search of Evidence-Based IT-Security

IT security is largely a science-free field. This needs to…

Interplanetary Colonization
33 min

Interplanetary Colonization

the state at the beginning of the 21st Century

Code BROWN in the Air
37 min

Code BROWN in the Air

A systemic update of sensitive information that you sniff…

The Layman's Guide to Zero-Day Engineering
57 min

The Layman's Guide to Zero-Day Engineering

A demystification of the exploit development lifecycle