crazyboycjr / cyclone-jet-rocket
Cyclone Jet Rocket is a DDoS tool for System Security Technology course
☆9Updated 7 years ago
Alternatives and similar repositories for cyclone-jet-rocket:
Users that are interested in cyclone-jet-rocket are comparing it to the libraries listed below
- 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
- Source code for Speedlight, a system for Synchronized Network Snapshots☆10Updated 4 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 3 years ago
- ☆13Updated 6 years ago
- A superoptimizing compiler for packet-processing☆30Updated last year
- A Framework for Modeling and Analyzing Network Configurations☆33Updated last year
- THU compiler principle course homework, written in rust. (this is not the pa framework)☆14Updated 6 years ago
- https://openpal.github.io/TypeAndProof/☆99Updated 7 years ago
- A congestion control plane. (SIGCOMM '18)☆76Updated 10 months ago
- i10 kernel implementation (NSDI'20)☆52Updated 4 years ago
- Framework of pa code for THU compiler principle course.☆13Updated 5 years ago
- SIGCOMM 2021 artifact☆12Updated 6 months ago
- Great homework for Fundamentals of Programming course.☆13Updated 9 years ago
- Simplified Git☆40Updated 9 years ago
- The engine of Cunik.☆26Updated 6 years ago
- Selected Topics in Computer Networks @ Johns Hopkins University☆19Updated 4 years ago
- Automated tool to formally verify congestion control algorithms and find bugs in them☆26Updated 2 years ago
- ☆9Updated 7 years ago
- Finding bugs in P4 compilers using translation validation.☆36Updated 3 months ago
- ☆20Updated 2 years ago
- Transparent Paxos☆43Updated 5 years ago
- 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
- ☆20Updated 9 months ago
- ☆9Updated 3 years ago
- P4 formalization using Ott and HOL4☆10Updated this week
- The project now is moved to github.com/SJTU-IPADS/ServerlessBench. An open-sourced benchmark suite for serverless computing☆22Updated 2 years ago
- Repository linking to the software artifacts used for the MigrOS ATC 2021 paper☆17Updated 3 years ago
- ☆31Updated 2 years ago
- ☆46Updated 2 years ago
- A simple implementation of Google Heracles System (isca15).☆11Updated 4 years ago