Cornelius Diekmann: Verified Firewall Ruleset Verification
▶Cornelius Diekmann: Verified Firewall Ruleset Verification — a 2015 Chaos Communication Congress 2015 (32C3) security conference talk on network (32:31 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube