A programmable data plane flow control framework enabling ultra-low-latency protection for microservices at the network edge.

Testbed/Tutorials/Researching work on P4.

Proto-typing SRv6 functions with P4 lang.

📚 Open-source P4 Protocol Header Library | Standardized and extensible P4 templates for common network protocols (e.g., TCP, UDP, IPv4, IPv6), accelerating programmable data plane development.

Finding bugs in P4 compilers using translation validation.

This project is a proof of concept for 5g upf based on p4.

Flowrest: in-switch flow-level classification with random forests

ditto: WAN Traffic Obfuscation at Line Rate (source code belonging to the NDSS 2022 paper)

Heavy-Hitter detection in P4 switch ASIC using Inter-Packet Gap

This is the repository for Direct Telemetry Access, a high-speed network telemetry collection system.

Data-Plane Time synchronization Protocol (P4-Tofino & DPDK)

Formal Semantics of P4 in K

FlexNF: Flexible Network Function Orchestration for Scalable On-Path Service Chain Serving, ToN 2023 && IWQoS 2021

Netcope P4 Examples

A pure P4 implementation towards Diffie-Hellman key exchange with AES encryption.

Source code for Speedlight, a system for Synchronized Network Snapshots

A novel approach based on Random Forests that quickly and accurately identifies elephant flows in programmable Data Planes.

Mechanism for degradation detection based on In-band Network Telemetry

Getting into P4

This p4 program provides GTP.v1 encapsulation/decapsulation/steering. Furthermore you can get hop latency via postcard telemetry from each node of the network.