Cornelius Diekmann: Verified Firewall Ruleset Verification (2/2)
Channel: Curry Club Augsburg
Date: 2016-03-18

Teil 1: https://www.youtube.com/watch?v=fKeGfbY5AyM

Folien: http://www.net.in.tum.de/pub/diekmann/32c3.pdf

Isabelle Sources: https://github.com/diekmann/Iptables_Semantics
Firewall Dumps: https://github.com/diekmann/net-network

32C3 Talk (English): https://media.ccc.de/v/32c3-7195-verified_firewall_ruleset_verification