Cornelius Diekmann: Verified Firewall Ruleset Verification (1/2)
Channel: Curry Club Augsburg
Date: 2016-02-26

Teil 2: https://www.youtube.com/watch?v=EpotR359Oto

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