P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF
☆11May 20, 2024Updated 2 years ago
Alternatives and similar repositories for p4control
Users that are interested in p4control are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Oct 7, 2023Updated 2 years ago
- ☆12Nov 16, 2022Updated 3 years ago
- ☆11Oct 25, 2023Updated 2 years ago
- Implementation of the Reusable Enclaves paper☆15Sep 25, 2023Updated 2 years ago
- ☆35Jun 14, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆23Aug 7, 2023Updated 3 years ago
- ☆10Jan 21, 2022Updated 4 years ago
- ☆11Feb 5, 2024Updated 2 years ago
- PyTorch implementation of "Variational Autoencoders with Jointly Optimized Latent Dependency Structure" [ICLR 2019]☆13Jul 14, 2019Updated 7 years ago
- Use any program to perform fixups for afl via AFL_POST_LIBRARY☆11Aug 31, 2020Updated 6 years ago
- Source code for the paper 'Complex Hyperbolic Knowledge Graph Embeddings with Fast Fourier Transform'.☆12Nov 9, 2022Updated 3 years ago
- 基于铜锁密码库开发的商用密码工具箱桌面应用程序☆12Feb 5, 2025Updated last year
- test tcp congestion fairness on mininet☆10Aug 18, 2020Updated 6 years ago
- PrivacyGo Data Clean Room (PGDCR) is an open-source project for easily building and deploying data collaboration framework to the cloud u…☆36Oct 31, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A tunneled flooding traffic detection system.☆33Dec 3, 2024Updated last year
- Cobra-W -> Cobra-RE 将进一步提升漏洞发现的准确性并降低漏报率（弃坑了）☆16Aug 15, 2020Updated 6 years ago
- LFSC Proof Checker☆10Sep 14, 2023Updated 3 years ago
- ☆14Apr 27, 2020Updated 6 years ago
- Implementation of incremental sequential three-way decisions using active learning☆10May 4, 2019Updated 7 years ago
- Character Embedding + ESIM + Focal Loss for Chinese Answer Sentence Selection☆10Jan 4, 2020Updated 6 years ago
- Mix network simulator☆10Aug 18, 2021Updated 5 years ago
- DiffCSP: Finding Browser Bugs in Content Security Policy Enforcement through Differential Testing☆15Feb 27, 2023Updated 3 years ago
- ☆13Feb 12, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Helpers for clearing sensitive data on the stack and heap☆52Updated this week
- ☆15Jul 5, 2018Updated 8 years ago
- Generic anonymous routing protocol framework agnostic to encryption algorithm and transport layer☆15Jun 16, 2018Updated 8 years ago
- CIFAR10 ResNets implemented in JAX+Flax☆12Apr 6, 2022Updated 4 years ago
- This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev v…☆45Feb 15, 2024Updated 2 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 7 years ago
- Flow Integrity Deterministic Enforcement System. Mechanisms for securing AI agents with information-flow control.☆117May 30, 2025Updated last year
- Official implementation of Our NeurIPS 2024 Paper "Boundary Matters: A Bi-Level Active Finetuning Method"☆14Feb 11, 2025Updated last year
- My solutions to Software Foundations course in Coq proof assistant.☆46May 15, 2026Updated 4 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Security tools and resources☆11Dec 29, 2018Updated 7 years ago
- ☆20Dec 3, 2020Updated 5 years ago
- Practical and Efficient in-TEE Verification of Privacy Compliance☆47Mar 24, 2026Updated 6 months ago
- A Unified and General Framework for Continual Learning, ICLR 2024☆15Mar 22, 2024Updated 2 years ago
- Real-Time Intrusion Detection and Prevention with Neural Network in Kernel using eBPF☆26Apr 9, 2024Updated 2 years ago
- A migration for the page table entry based side-channel attack agains SGX enclaves.☆22Feb 10, 2025Updated last year
- LaTeX package to Do The Right Thing☆13Sep 8, 2021Updated 5 years ago