aredev / quic-scapy
Google Client Implementation in Scapy
☆14Updated 6 years ago
Alternatives and similar repositories for quic-scapy:
Users that are interested in quic-scapy are comparing it to the libraries listed below
- Systematic Protocol Analysis Project☆11Updated 7 years ago
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Updated 7 years ago
- A superoptimizing compiler for packet-processing☆30Updated last year
- A firewall application that leverages DPDK for performance and SGX for security.☆17Updated 5 years ago
- ☆11Updated last year
- A tool that can be used to learn state machines from implementations.☆64Updated 3 years ago
- Implementation of differential fuzz testing for TLS handshake messages☆11Updated 3 years ago
- ☆11Updated 4 years ago
- Collection of syzkaller bug reproducers for Linux☆44Updated 2 years ago
- ☆15Updated last year
- Extend Open vSwitch with BPF programs at runtime☆32Updated 5 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 last year
- Main repository of the Vigor NF verification project.☆48Updated 4 years ago
- scripts & tools for QUIC proformance profiling☆17Updated 4 years ago
- BPFabric implementations. Details about this work are available in the research paper "BPFabric: Data Plane Programmability for Software …☆31Updated last year
- Main repository for KernelStrider project☆24Updated 7 years ago
- Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…☆62Updated last year
- Poise source code repo☆12Updated 4 years ago
- ☆32Updated 6 years ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆23Updated 3 years ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆9Updated 5 years ago
- Tool tracing syscalls in a fast way using eBPF linux kernel feature☆99Updated 2 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆36Updated 4 months ago
- Finding bugs in P4 compilers using translation validation.☆37Updated last week
- ☆13Updated 5 years ago
- Mitigating Network Covert Channels while Preserving Performance☆18Updated 4 years ago
- ☆54Updated 5 years ago
- A network-level collaboration framework for personal mobile devices☆15Updated 4 years ago
- ☆37Updated 2 years ago
- fuzzing framework based on libfuzzer and clang sanitizer☆165Updated 5 years ago