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
- ☆33Jun 14, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆23Aug 7, 2023Updated 2 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 5 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 5 years ago
- PrivacyGo Data Clean Room (PGDCR) is an open-source project for easily building and deploying data collaboration framework to the cloud u…☆35Oct 31, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A tunneled flooding traffic detection system.☆33Dec 3, 2024Updated last year
- Cobra-W -> Cobra-RE 将进一步提升漏洞发现的准确性并降低漏报率(弃坑了)☆16Aug 15, 2020Updated 5 years ago
- LFSC Proof Checker☆11Sep 14, 2023Updated 2 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 4 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
- 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.
- Helpers for clearing sensitive data on the stack and heap☆52Jun 14, 2025Updated last year
- ☆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 6 years ago
- Flow Integrity Deterministic Enforcement System. Mechanisms for securing AI agents with information-flow control.☆110May 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.☆44May 15, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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 4 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☆25Apr 9, 2024Updated 2 years ago
- A migration for the page table entry based side-channel attack agains SGX enclaves.☆19Feb 10, 2025Updated last year
- LaTeX package to Do The Right Thing☆13Sep 8, 2021Updated 4 years ago