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 2 months ago
• RFCNLP / RFCNLP
  Open-source code for RFCNLP paper.
  ☆58Updated 2 years ago
• ElNiak / PANTHER
  This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy …
  ☆38Updated 2 months ago
• iVantage-NDSS23 / iVantage
  ☆14Updated last year
• nsg-ethz / netdice
  A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.
  ☆33Updated 3 years ago
• nsg-ethz / Metha
  A framework for automated testing of network analysis and verification tools.
  ☆16Updated 4 years ago
• nsg-ethz / config2spec
  Mining Network Specifications from Network Configurations
  ☆30Updated 4 years ago
• bgpkit / bgpkit-parser
  MRT/BGP data parser written in Rust.
  ☆107Updated 2 months ago
• nsg-ethz / synet-plus
  Practical Network-Wide Configuration Synthesis with Autocompletion
  ☆37Updated 6 years ago
• lambdahuang / FlashRoute
  🚀 Takes minutes to explore the topology of all routable /24 prefixes in IPv4 address space. Now supports IPv6 scan!
  ☆37Updated last year
• tumi8 / QScanner
  ☆24Updated last year
• vigor-nf / vigor
  Main repository of the Vigor NF verification project.
  ☆48Updated 4 years ago
• nsg-ethz / ditto
  ditto: WAN Traffic Obfuscation at Line Rate (source code belonging to the NDSS 2022 paper)
  ☆28Updated 3 years ago
• osmud / osmud
  Public website for more OSMud information
  ☆18Updated last year
• jderuiter / statelearner
  A tool that can be used to learn state machines from implementations.
  ☆64Updated 4 years ago
• sonic-net / sonic-pins
  P4 Integrated Network Stack (PINS)
  ☆35Updated last week
• kth-step / HOL4P4
  P4 formalization using Ott and HOL4
  ☆10Updated last week
• bekkaze / abusebox
  This is repository for abusebox development. Abuse mailbox and blacklist monitor
  ☆19Updated last year
• ucsdsysnet / trufflehunter
  Trufflehunter is a tool that uses DNS cache snooping on public DNS resolvers to measure the prevalence of rare applications and domains o…
  ☆20Updated 4 years ago
• SivaKesava1 / SelfStarter
  Tool using automatic template inference to find network misconfigurations
  ☆12Updated 4 years ago
• anubhavnidhi / batfish
  Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configu…
  ☆14Updated 2 years ago
• nsg-ethz / synet
  SyNET Network-wide Configuration Synthesis
  ☆27Updated 7 years ago
• profuzzbench / profuzzbench
  ProFuzzBench - A Benchmark for Stateful Protocol Fuzzing
  ☆234Updated 9 months ago
• pluginized-protocols / libxbgp
  ☆11Updated last year
• NIKSS-vSwitch / nikss
  Native In-Kernel P4-programmable Software Switch for Software-Defined Networking (previously PSA-eBPF)
  ☆48Updated last year
• 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 2 years ago
• bisdn / basebox
  A tiny OpenFlow controller for OF-DPA switches.
  ☆47Updated this week
• assist-project / dtls-fuzzer
  Protocol state machine learner and fuzzer for DTLS servers and clients
  ☆37Updated this week
• pgigis / sigcomm2021-hypergiants-offnets
  Software and Datasets for the publication "Seven Years in the Life of Hypergiants’ Off-Nets" at SIGCOMM 2021.
  ☆14Updated 3 years ago