Search for "Lovis"

Verified Firewall Ruleset Verification
32 min

Verified Firewall Ruleset Verification

Math, Functional Programming, Theorem Proving, and an…

Tell no-one
62 min

Tell no-one

A century of secret deals between the NSA and the telecom…

Community
62 min

Community

Social Life & Life in the early 21st century

Deploying TLS 1.3: the great, the good and the bad
61 min

Deploying TLS 1.3: the great, the good and the bad

Improving the encrypted the web, one round-trip at a time

Memsad
61 min

Memsad

why clearing memory is hard.

Opening Closed Systems with GlitchKit
60 min

Opening Closed Systems with GlitchKit

'Liberating' Firmware from Closed Devices with Open Source…

How hackers grind an MMORPG: by taking it apart!
54 min

How hackers grind an MMORPG: by taking it apart!

An introduction to reverse engineering network protocols

Fnord-Jahresrückblick
99 min

Fnord-Jahresrückblick

Wir helfen euch, die Fnords zu sehen!

To Protect And Infect, Part 2
62 min

To Protect And Infect, Part 2

The militarization of the Internet