maxvonhippel / AttackerSynthesisLinks
π€KORG: Tool, Models, and Supplementary Materials for Attacker Synthesis
β15Updated 3 years ago
Alternatives and similar repositories for AttackerSynthesis
Users that are interested in AttackerSynthesis are comparing it to the libraries listed below
Sorting:
- Main repository of the Vigor NF verification project.β48Updated 4 years ago
- A system for automated discovery of congestion control attacks on TCP implementationsβ19Updated 7 years ago
- Source text and experimental data for our paper describing XDPβ148Updated 5 years ago
- [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofsβ¦β75Updated 4 years ago
- BPFabric implementations. Details about this work are available in the research paper "BPFabric: Data Plane Programmability for Software β¦β35Updated last year
- Linux Network Stack Testβ75Updated this week
- IOModule manager and pluginsβ37Updated 8 years ago
- The Click modular router: fast modular packet processing and analysisβ142Updated 3 years ago
- Benchmarking implementations of pflang, the pcap filter languageβ26Updated 9 years ago
- Linux kernel Transport Layer Security moduleβ25Updated 9 years ago
- userspace tools for linux libosβ98Updated 3 years ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Neβ¦β10Updated 6 years ago
- user space tool for inspection and simple manipulation of eBPF programs and mapsβ25Updated 8 years ago
- EbbRT: elastic building block runtimeβ77Updated last year
- TCP Testsuite for FreeBSD based on Packetdrillβ21Updated 2 months ago
- eXpressive Internet Protocol research projectβ55Updated 2 years ago
- Generic eBPF runtimeβ151Updated 4 years ago
- Fast tcp-info collector in Goβ51Updated 5 months ago
- A software-based Ethernet switch design built around a memory-efficient, high-performance, and highly-concurrent hash table for compact aβ¦β37Updated 10 years ago
- Linux Kernel TLS/DTLS Moduleβ167Updated this week
- Userspace eBPF VM (main repo is https://github.com/iovisor/ubpf)β101Updated 3 years ago
- PEP-DNA: a Performance Enhancing Proxy for Deploying Network Architecturesβ10Updated last year
- A simple Python interface for implementing erasure codes. Mirror of code maintained at opendev.org.β73Updated 2 weeks ago
- Extend Open vSwitch with BPF programs at runtimeβ35Updated 6 years ago
- Augmented Socket API selecting the best suitable access network based on application needs and network performance characteristics.β14Updated 5 years ago
- Cost-aware network traffic analysisβ12Updated 2 years ago
- A superoptimizing compiler for packet-processingβ30Updated 2 years ago
- 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
- Snabb Switch: Fast open source packet processingβ48Updated 4 years ago
- Package xdp provides access to Linux userspace XDP sockets (AF_XDP). MIT Licensed.β39Updated 6 years ago