32C3

Cornelius Diekmann: Verified Firewall Ruleset Verification (lecture)

wiki, github

Stephan G√ľnther, Johannes Naab: NETINTUMexam (Lightning Talk)

slides, example, website