:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Zhang, Dexin, Thijm, Timothy Alberdingk, Walker, David, Gupta, Aarti
Format:	Preprint
Published:	2026
Subjects:	Networking and Internet Architecture Logic in Computer Science
Online Access:	https://arxiv.org/abs/2604.03539
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Formalization of the Correctness of the Floodsub Protocol
by: Kumar, Ankit, et al.
Published: (2025)

Deadlock in packet switching networks
by: Stramaglia, Anna, et al.
Published: (2021)

Resilient-Native and Intelligent Next-Generation Wireless Systems: Key Enablers, Foundations, and Applications
by: Bennis, Mehdi, et al.
Published: (2025)

An Architecture for Spatial Networking
by: Millar, Josh, et al.
Published: (2025)

Formal Methods for Mobile Ad Hoc Networks: A Survey
by: Fokkink, Wan, et al.
Published: (2025)

Super-resolution on network telemetry time series
by: Gong, Fengchen, et al.
Published: (2024)

Relational Network Verification
by: Xu, Xieyang, et al.
Published: (2024)

Automated Optimization of Parameterized Data-Plane Programs with Parasol
by: Hogan, Mary, et al.
Published: (2024)

KubeSpace: A Low-Latency and Stable Control Plane for LEO Satellite Container Orchestration
by: Zhao, Zhiyuan, et al.
Published: (2026)

Fine-grained Distributed Data Plane Verification with Intent-based Slicing
by: Chou, Kuan-Yen, et al.
Published: (2024)

Fast Inverse Model Transformation: Algebraic Framework for Fast Data Plane Verification
by: Chen, Shenshen, et al.
Published: (2024)

Towards Disaggregating the SDN Control Plane
by: Comer, Douglas, et al.
Published: (2019)

Swift: Rethinking RDMA Control Plane for Elastic Computing
by: Zhang, Junxue, et al.
Published: (2025)

Cyber Resilience in Next-Generation Networks: Threat Landscape, Theoretical Foundations, and Design Paradigms
by: Farooq, Junaid, et al.
Published: (2025)

Synchronization Control-Plane Protocol for Quantum Link Layer
by: Ru, Brandon, et al.
Published: (2024)

Towards an Implementation of the Knowledge-Based Control Plane for Intelligent Swarm Networks
by: Guo, Xuanchi, et al.
Published: (2024)

A User-to-User Resource Reselling Game in Open RAN with Buffer Rollover
by: Cao, Ruide, et al.
Published: (2025)

Control Protocol for Entangled Pair Verification in Quantum Optical Networks
by: Vasan, Vivek, et al.
Published: (2024)

A Fast Control Plane for a Large-Scale and High-Speed Optical Circuit Switch System
by: Takano, Ryousei, et al.
Published: (2024)

High-Fidelity Cellular Network Control-Plane Traffic Generation without Domain Knowledge
by: Kong, Z. Jonny, et al.
Published: (2024)

Evaluation of Control/User-Plane Denial-of-Service (DoS) Attack on O-RAN Fronthaul Interface
by: Feliana, Ferlinda, et al.
Published: (2024)

Quark: Implementing Convolutional Neural Networks Entirely on Programmable Data Plane
by: Zhang, Mai, et al.
Published: (2025)

Advancing IoT System Dependability: A Deep Dive into Management and Operation Plane Separation
by: Hao, Luoyao, et al.
Published: (2025)

Integrating Captive Portal Technology into Computer Science Education: A Modular, Hands-On Approach to Infrastructure
by: Wang, Lianting, et al.
Published: (2025)

5G Replicates TSN: Extending IEEE 802.1CB Capabilities to Integrated 5G/TSN Systems
by: Aijaz, Adnan
Published: (2024)

OLAF: Programmable Data Plane Acceleration for Asynchronous Distributed Reinforcement Learning
by: Krishna, Nehal Baganal, et al.
Published: (2025)

Incentive Mechanism Design for Resource Management in Satellite Networks: A Comprehensive Survey
by: Luong, Nguyen Cong, et al.
Published: (2026)

An Efficient Dynamic Transaction Storage Mechanism for Sustainable High Throughput Bitcoin
by: Zhao, Xiongfei, et al.
Published: (2023)

A Modular Edge Device Network for Surgery Digitalization
by: Schorp, Vincent, et al.
Published: (2025)

Pair-Bid Auction Model for Optimized Network Slicing in 5G RAN
by: Li, Mengyao, et al.
Published: (2025)

Securing the Management Plane in Intent-based Cellular Networks
by: Mehmood, Kashif, et al.
Published: (2024)

Toward an Abstract Model of Programmable Data Plane Devices
by: Robin, Debobroto Das, et al.
Published: (2020)

A Hybrid Cloud Management Plane for Data Processing Pipelines
by: Babu, Vignesh, et al.
Published: (2025)

Towards Automated Verification of Logarithmic Arithmetic
by: Arnold, Mark G., et al.
Published: (2024)

Dynamic Pricing based Near-Optimal Resource Allocation for Elastic Edge Offloading
by: Xia, Yun, et al.
Published: (2024)

Extending the Control Plane of Container Orchestrators for I/O Virtualization
by: Grigoryan, Garegin, et al.
Published: (2025)

Latency Reduction in Vehicular Sensing Applications by Dynamic 5G User Plane Function Allocation with Session Continuity
by: Fondo-Ferreiro, Pablo, et al.
Published: (2024)

NODE: Network Wide Top-K Flows in the Data Plane
by: Stein, Eitan, et al.
Published: (2026)

Heimdallr: Fingerprinting SD-WAN Control-Plane Architecture via Encrypted Control Traffic
by: Seo, Minjae, et al.
Published: (2025)

Packet Level Resilience for the User Plane in 5G Networks
by: Ihle, Fabian, et al.
Published: (2025)