Alternatives and similar repositories for Ferret:

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

• dns-groot / groot
  Static verification tool for DNS zone files
  ☆79Updated 2 years ago
• Forescout / bgp_boofuzzer
  ☆55Updated last month
• lambdahuang / FlashRoute
  🚀 Takes minutes to explore the topology of all routable /24 prefixes in IPv4 address space. Now supports IPv6 scan!
  ☆37Updated last year
• nsg-ethz / Metha
  A framework for automated testing of network analysis and verification tools.
  ☆16Updated 4 years ago
• iVantage-NDSS23 / iVantage
  ☆14Updated last year
• nsg-ethz / config2spec
  Mining Network Specifications from Network Configurations
  ☆29Updated 4 years ago
• vigor-nf / vigor
  Main repository of the Vigor NF verification project.
  ☆48Updated 4 years ago
• RFCNLP / RFCNLP
  Open-source code for RFCNLP paper.
  ☆56Updated 2 years ago
• nsg-ethz / ditto
  ditto: WAN Traffic Obfuscation at Line Rate (source code belonging to the NDSS 2022 paper)
  ☆28Updated 3 years ago
• NIKSS-vSwitch / nikss
  Native In-Kernel P4-programmable Software Switch for Software-Defined Networking (previously PSA-eBPF)
  ☆48Updated 11 months ago
• USC-NSL / sage
  SAGE disambiguates protocol description in an IETF RFC document, then converts the disambiguated protocol description into executable pro…
  ☆16Updated 3 years ago
• kth-step / HOL4P4
  P4 formalization using Ott and HOL4
  ☆10Updated this week
• tumi8 / QScanner
  ☆24Updated last year
• Ribosome-Packet-Processor / Ribosome
  High-Speed Stateful Packet Processor for Programmable Switches
  ☆14Updated 2 years ago
• SivaKesava1 / SelfStarter
  Tool using automatic template inference to find network misconfigurations
  ☆12Updated 4 years ago
• nsg-ethz / netdice
  A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.
  ☆32Updated 3 years ago
• netenglabs / bgperf2
  BGP performance analysis
  ☆37Updated 3 years ago
• nsg-ethz / synet-plus
  Practical Network-Wide Configuration Synthesis with Autocompletion
  ☆37Updated 6 years ago
• aliireza / packetmill
  PacketMill: Toward per-core 100-Gbps Networking
  ☆63Updated 3 years ago
• bekkaze / abusebox
  This is repository for abusebox development. Abuse mailbox and blacklist monitor
  ☆18Updated last year
• InNetworkFiltering / SGX-DPDK
  A firewall application that leverages DPDK for performance and SGX for security.
  ☆17Updated 5 years ago
• Z3Prover / FirewallChecker
  A self-contained firewall checker
  ☆105Updated 3 years ago
• Wojtek242 / route0
  ☆10Updated last year
• NetworkVerification / nv
  A Framework for Modeling and Analyzing Network Configurations
  ☆34Updated 2 years ago
• NetGauze / NetGauze
  A collection of network related libraries that includes protocol parsers and daemons
  ☆40Updated this week
• bgpkit / bgpkit-parser
  MRT/BGP data parser written in Rust.
  ☆105Updated last month
• pluginized-protocols / libxbgp
  ☆11Updated last year
• bgpkit / monocle
  🧐 See through all BGP data with a monocle.
  ☆117Updated 3 weeks ago
• p4lang / p4-constraints
  Constraints on P4 objects enforced at runtime
  ☆15Updated 2 weeks ago
• cablelabs / transparent-security
  Transparent Security is a solution for identify the source devices of a DDoS attack and mitigates the attack in the customer premises or …
  ☆34Updated last year