Re: [isabelle] Starting soonâ Verified Firewall Ruleset Verification



Recording:

  https://media.ccc.de/v/32c3-7195-verified_firewall_ruleset_verification#video

:-)

Cheers,
  corny

Am 28. Dezember 2015 um 17:22 schrieb Florian Haftmann
<florian.haftmann at informatik.tu-muenchen.de>:
> https://events.ccc.de/congress/2015/Fahrplan/events/7195.html
>
>         Florian
>
> --
>
> PGP available:
> http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
>




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.