aredev / quic-scapy
Google Client Implementation in Scapy
☆13Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for quic-scapy
- Systematic Protocol Analysis Project☆11Updated 7 years ago
- A superoptimizing compiler for packet-processing☆30Updated last year
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Updated 7 years ago
- A firewall application that leverages DPDK for performance and SGX for security.☆16Updated 5 years ago
- Implementation of differential fuzz testing for TLS handshake messages☆12Updated 3 years ago
- ☆25Updated 2 years ago
- This repository contains the code for the paper "A flow-based IDS using Machine Learning in eBPF", Contact: Maximilian Bachl☆86Updated 7 months ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Updated 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
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆9Updated 4 years ago
- Finding bugs in P4 compilers using translation validation.☆35Updated last month
- C++ reference implementation for Push-In First-Out Queue☆13Updated 8 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…☆60Updated last year
- ☆31Updated 5 years ago
- ☆24Updated 8 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆28Updated 5 years ago
- ☆19Updated 6 years ago
- ☆13Updated last year
- Main repository of the Vigor NF verification project.☆45Updated 3 years ago
- scripts & tools for QUIC proformance profiling☆18Updated 4 years ago
- A system for automated discovery of congestion control attacks on TCP implementations☆19Updated 6 years ago
- An assembler for eBPF programs written in an Intel-like assembly syntax.☆46Updated last year
- This tool can replay a pcap capture at wire speed on several 10Gbps links.☆67Updated 4 years ago
- ☆15Updated last year
- SIGCOMM 2021 artifact☆11Updated 3 months ago
- Example BPF program with LSM hooks☆31Updated 3 years ago
- ☆32Updated 6 years ago
- A tool that can be used to learn state machines from implementations.☆63Updated 3 years ago
- Fast packet processing using CPUs☆38Updated 7 years ago
- Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.☆13Updated 2 months ago