Cornelius Diekmann: Make Firewalls verified again
Channel: Curry Club Augsburg
Date: 2016-10-09

Folien: http://curry-club-augsburg.de/files/18makefirewallsverifiedagain.pdf

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