Issues

• [Haskell][Isabelle] Improving performance

  enhancementhelp wanted
  diekmann/Iptables_Semantics#105 · Filter by author diekmann opened on Jun 1, 2016
  2

• Parsing actions ULOG and NFLOG

  diekmann/Iptables_Semantics#94 · Filter by author diekmann opened on Apr 30, 2016

• [Isabelle + Haskell] Reasonable error messages

  enhancement
  diekmann/Iptables_Semantics#75 · Filter by author diekmann opened on Apr 5, 2016
  2

• Transforming a stateful firewall ruleset into a stateless ruleset.

  enhancementhelp wanted
  diekmann/Iptables_Semantics#74 · Filter by author diekmann opened on Apr 4, 2016

• [isabelle] Firewall best practices

  enhancementhelp wanted
  diekmann/Iptables_Semantics#54 · Filter by author diekmann opened on Dec 21, 2015

• [isabelle] Access control summary

  enhancementhelp wanted
  diekmann/Iptables_Semantics#52 · Filter by author diekmann opened on Dec 16, 2015

• [isabelle] nftables semantics

  enhancement
  diekmann/Iptables_Semantics#44 · Filter by author diekmann opened on Nov 29, 2015
  

• [isabelle] Let's go open source: Convert proprietary {Cisco, Juniper, Check Point, ...} to iptables

  enhancementhelp wanted
  diekmann/Iptables_Semantics#43 · Filter by author diekmann opened on Nov 29, 2015

• [haskell] Feature: visualization of service matrix output.

  enhancementhelp wanted
  diekmann/Iptables_Semantics#41 · Filter by author diekmann opened on Nov 29, 2015

• [isabelle] Feature: Packet modification

  enhancementhelp wanted
  diekmann/Iptables_Semantics#40 · Filter by author diekmann opened on Nov 29, 2015

• [isabelle] Firewall support: BSD pf

  enhancementhelp wanted
  diekmann/Iptables_Semantics#39 · Filter by author diekmann opened on Nov 29, 2015
  1