Alternatives and similar repositories for TCPwn

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

• nsg-ethz / netdice
  A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.
  ☆35Updated 4 years ago
• NetworkVerification / nv
  A Framework for Modeling and Analyzing Network Configurations
  ☆35Updated 2 years ago
• nyu-systems / gauntlet
  Finding bugs in P4 compilers using translation validation.
  ☆38Updated 3 weeks ago
• venkatarun95 / ccac
  Automated tool to formally verify congestion control algorithms and find bugs in them
  ☆27Updated 3 years ago
• eniac / Speedlight
  Source code for Speedlight, a system for Synchronized Network Snapshots
  ☆10Updated 5 years ago
• racheesingh / cloud-te-tutorial
  ☆15Updated 2 years ago
• verified-network-toolchain / petr4
  Petr4: Formal Semantics for P4
  ☆82Updated 5 months ago
• vigor-nf / vigor
  Main repository of the Vigor NF verification project.
  ☆48Updated 4 years ago
• qiaokang92 / poise
  Poise source code repo
  ☆12Updated 5 years ago
• chonepieceyb / mptcp_ebpf_control_frame
  ☆23Updated last year
• googleinterns / p4-symbolic
  ☆12Updated 5 years ago
• InNetworkFiltering / SGX-DPDK
  A firewall application that leverages DPDK for performance and SGX for security.
  ☆18Updated 6 years ago
• Brown-NSG / P4Visor
  ☆14Updated 2 years ago
• USC-NSL / TUB
  A Throughput-Centric View of the Performance of Datacenter Topologies [SIGCOMM'21]
  ☆10Updated 4 years ago
• nsg-ethz / FANcY
  FANcY: FAst In-Network GraY Failure Detection for ISPs
  ☆21Updated 3 years ago
• Ribosome-Packet-Processor / Ribosome
  High-Speed Stateful Packet Processor for Programmable Switches
  ☆14Updated 2 years ago
• smartnic / sigcomm21_artifact
  SIGCOMM 2021 artifact
  ☆12Updated last year
• all-things-networking / fperf
  ☆19Updated this week
• RFCNLP / RFCNLP
  Open-source code for RFCNLP paper.
  ☆58Updated 3 years ago
• ants-xjtu / rubik
  ☆17Updated last month
• jiarong0907 / NetWarden
  Mitigating Network Covert Channels while Preserving Performance
  ☆19Updated 5 years ago
• GLaDOS-Michigan / I4
  The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…
  ☆26Updated 4 years ago
• smartnic / superopt
  A superoptimizing compiler for packet-processing
  ☆30Updated 2 years ago
• rg0now / prog_dataplane_reading_list
  The Programmable Data Plane: Reading List
  ☆51Updated 5 years ago
• p4lang / p4-constraints
  Constraints on P4 objects enforced at runtime
  ☆17Updated last month
• merlin-lang / merlin
  The Merlin Network Management System
  ☆22Updated 8 years ago
• alex1230608 / contra
  ☆25Updated 3 years ago
• ccp-project / ccp-kernel
  A Linux Kernel module implementing support for CCP congestion control algorithms
  ☆23Updated 2 months ago
• cornell-netlab / yates
  YATES (Yet Another Traffic Engineering System)
  ☆68Updated 2 years ago
• harvard-cns / opensketch
  simulation and netfpga code
  ☆33Updated 12 years ago