Something like this:<p><pre><code>    We develop a tool to verify Linux netfilter&#x2F;iptables firewalls 
    rulesets. Then, we verify the verification tool itself.

    Warning: involves math!

    This talk is also an introduction to interactive theorem 
    proving and programming in Isabelle&#x2F;HOL. We strongly suggest 
    that audience members have some familiarity with functional 
    programming. A strong mathematical background is NOT required.


   TL;DR: Math is cool again, we now have the tools for &quot;executable 
   math&quot;. Also: iptables!
</code></pre>
<a href="https:&#x2F;&#x2F;media.ccc.de&#x2F;v&#x2F;32c3-7195-verified_firewall_ruleset_verification" rel="nofollow">https:&#x2F;&#x2F;media.ccc.de&#x2F;v&#x2F;32c3-7195-verified_firewall_ruleset_v...</a>