Cornelius Diekmann: Verified Firewall Ruleset Verification
- Title:
- Cornelius Diekmann: Verified Firewall Ruleset Verification
- Description:
-
more » « less
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
- Video Language:
- English
- Duration:
- 32:31
|
C3Subtitles edited English subtitles for Cornelius Diekmann: Verified Firewall Ruleset Verification | |
|
|
C3Subtitles added new URL for Cornelius Diekmann: Verified Firewall Ruleset Verification | |
|
|
C3Subtitles added a video: Cornelius Diekmann: Verified Firewall Ruleset Verification |
http://www.youtube.com/watch?v=VtfeNiF9pbo
Format: Youtube
Primary
Original
Added
by C3Subtitles
Format: Youtube
Primary
Original
http://www.youtube.com/watch?v=nhNRdaKohGc
Format: Youtube
Added
by C3Subtitles
Format: Youtube