aredev / quic-scapyLinks
Google Client Implementation in Scapy
☆14Updated 7 years ago
Alternatives and similar repositories for quic-scapy
Users that are interested in quic-scapy are comparing it to the libraries listed below
Sorting:
- ☆11Updated last year
- A firewall application that leverages DPDK for performance and SGX for security.☆17Updated 5 years ago
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Updated 8 years ago
- A network-level collaboration framework for personal mobile devices☆15Updated 5 years ago
- Systematic Protocol Analysis Project☆11Updated 8 years ago
- A tool that can be used to learn state machines from implementations.☆65Updated 4 years ago
- Cycle Accurate Symbolic Timing Analysis of Network Functions☆10Updated 3 years ago
- A superoptimizing compiler for packet-processing☆30Updated 2 years ago
- Poise source code repo☆12Updated 5 years ago
- ☆25Updated 9 years ago
- Mitigating Network Covert Channels while Preserving Performance☆19Updated 5 years ago
- A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.☆34Updated 4 years ago
- Main repository of the Vigor NF verification project.☆48Updated 4 years ago
- ACM consolidated LaTeX styles☆67Updated 6 years ago
- The Programmable Data Plane: Reading List☆51Updated 4 years ago
- Open-source code for RFCNLP paper.☆58Updated 2 years ago
- ☆14Updated 2 years ago
- C++ reference implementation for Push-In First-Out Queue☆12Updated 9 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
- ditto: WAN Traffic Obfuscation at Line Rate (source code belonging to the NDSS 2022 paper)☆29Updated 3 years ago
- High-level performance analyser toolkit for Intel SGX☆39Updated 6 years ago
- Protocol state machine learner and fuzzer for DTLS servers and clients☆38Updated this week
- Automated tool to formally verify congestion control algorithms and find bugs in them☆27Updated 2 years ago
- simulation and netfpga code☆33Updated 12 years ago
- Tool to symbolically execute eBPF programs☆14Updated last year
- ☆16Updated 2 years ago
- ☆23Updated last year
- Finding bugs in P4 compilers using translation validation.☆37Updated last month
- Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software☆42Updated 9 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 2 years ago