Alternatives and similar repositories for Iptables_Semantics:

Users that are interested in Iptables_Semantics are comparing it to the libraries listed below

• diekmann / net-network
  Public collection of firewall dumps.
  ☆42Updated 7 years ago
• mirage / mirage-qubes
  Mirage support for writing QubesOS AppVM unikernels
  ☆63Updated 4 months ago
• tracebox / tracebox
  Tracebox, a middlebox detection tool
  ☆167Updated 6 years ago
• ouspg / trytls
  Does ​your​ library check TLS certificates properly?
  ☆78Updated last year
• secgroup / fws
  Language-independent Synthesis of Firewall Policies
  ☆23Updated 2 years ago
• ANSSI-FR / mabo
  MRT Parser
  ☆46Updated 5 years ago
• mirleft / tlstools
  some TLS utilities
  ☆17Updated 8 years ago
• stribika / sshlabs
  SSH configuration analysis
  ☆75Updated last year
• andreasdotorg / pdfparser
  ☆23Updated 13 years ago
• secgroup / Mignis
  Mignis is a semantic based tool for firewall configuration.
  ☆42Updated 5 years ago
• bluss / git-remote-gcrypt
  [This fork is not maintained] git-remote-gcrypt: A git remote helper for GPG-encrypted remotes
  ☆146Updated 8 years ago
• GaloisInc / ec2-unikernel
  Tool for uploading unikernels into EC2
  ☆76Updated 6 years ago
• RedHatProductSecurity / Certificates-Shipped
  A list of certificates shipped by various vendors and Open Source Projects
  ☆38Updated 9 years ago
• veorq / ipcrypt
  IP-format-preserving encryption, with a dedicated 4-byte cipher
  ☆101Updated 3 years ago
• omegaup / minijail
  a tiny, custom launcher that handles namespacing, control groups, chroot'ing, and more
  ☆55Updated 2 years ago
• konne88 / bagpipe
  BGP Policy Verification
  ☆25Updated 8 years ago
• henn / qubes-app-split-ssh
  Split SSH implementation for QubesOS
  ☆41Updated 4 years ago
• nh2 / hatrace
  scriptable strace
  ☆123Updated 4 years ago
• hannesm / tlstunnel-lwt
  TLS tunnel -- an alternative to stud / stunnel
  ☆83Updated last year
• minipli / linux-grsec
  Tracking grsecurity and PaX enabled kernels...
  ☆21Updated 7 years ago
• rems-project / netsem
  Network Semantics
  ☆86Updated 6 years ago
• CIFASIS / QuickFuzz
  An experimental grammar fuzzer in Haskell using QuickCheck
  ☆199Updated 4 years ago
• jekor / gressgraph
  visualize your iptables firewall
  ☆160Updated 4 years ago
• woju / qubes-desktop-linux-awesome
  ☆14Updated 8 years ago
• bartavelle / language-puppet
  A library to work with Puppet manifests, test them and eventually replace everything ruby.
  ☆51Updated last year
• HarvardPL / shill
  Scripting with Least Privilege
  ☆108Updated 7 years ago
• GaloisInc / haskell-tor
  A Haskell implementation of the Tor protocol.
  ☆273Updated 7 years ago
• BetterCrypto / Applied-Crypto-Hardening
  Best Current Practices regarding secure online communication and configuration of services using cryptography.
  ☆705Updated 2 years ago
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆206Updated 4 years ago