Cornelius Diekmann: Verified Firewall Ruleset Verification

Title:
Cornelius Diekmann: Verified Firewall Ruleset Verification
Description:

We develop a tool to verify Linux netfilter/iptables firewalls rulesets. Then, we verify the verification tool itself.

Warning: involves math!

This talk is also an introduction to interactive theorem proving and programming in Isabelle/HOL. We strongly suggest that audience members have some familiarity with functional programming. A strong mathematical background is NOT required.

TL;DR: Math is cool again, we now have the tools for "executable math". Also: iptables!

Cornelius Diekmann

more » « less
Video Language:
English
Duration:
32:31
Format: Youtube Primary Original
Format: Youtube
This video is part of Amara Public.

Subtitles download

Incomplete subtitles (1)