A survey on data plane programming with p4: Fundamentals, advances, and applied research
Programmable data planes allow users to define their own data plane algorithms for network
devices including appropriate data plane application programming interfaces (APIs) which …
devices including appropriate data plane application programming interfaces (APIs) which …
Reimagining automotive service-oriented communication: A case study on programmable data planes
N Nayak, U Ambalavanan, JM Thampan… - IEEE Vehicular …, 2023 - ieeexplore.ieee.org
Automotive electrical and electronic (E/E) engineering architectures are being radically
overhauled to satisfy the needs of the current automotive trends ranging from electrification …
overhauled to satisfy the needs of the current automotive trends ranging from electrification …
[PDF][PDF] P4Inv: Inferring Packet Invariants for Verification of Stateful P4 Programs
D Zhang, C Ye, F He - feihe.github.io
P4 is widely adopted for programming data planes in software-defined networking. Formal
verification of P4 programs is essential to ensure network reliability and security. However …
verification of P4 programs is essential to ensure network reliability and security. However …