Copertina

A Formalization of the Correctness of the Floodsub Protocol

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kumar, Ankit, Manolios, Panagiotis
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Networking and Internet Architecture
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

CB-VER: A Stable Foundation for Modular Control Plane Verification
di: Zhang, Dexin, et al.
Pubblicazione: (2026)

Deadlock in packet switching networks
di: Stramaglia, Anna, et al.
Pubblicazione: (2021)

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

An Architecture for Spatial Networking
di: Millar, Josh, et al.
Pubblicazione: (2025)

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

Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications
di: Gamboa, Ruben, et al.
Pubblicazione: (2025)

An ACL2s Interface to Z3
di: Walter, Andrew T., et al.
Pubblicazione: (2025)

A Hybrid Reactive Routing Protocol for Decentralized UAV Networks
di: Garg, Shivam, et al.
Pubblicazione: (2024)

täkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version)
di: Srinivasan, Pranav, et al.
Pubblicazione: (2026)

A Protocol-Independent Transport Architecture
di: Mohammadtaheri, Kimiya, et al.
Pubblicazione: (2026)

Robust Resource Sharing in Network Slicing via Hypothesis Testing
di: Nikolaidis, Panagiotis, et al.
Pubblicazione: (2024)

Network Slicing: Market Mechanism and Competitive Equilibria
di: Promponas, Panagiotis, et al.
Pubblicazione: (2023)

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
di: Mohanty, Hansa, et al.
Pubblicazione: (2025)

Future Industrial Applications: Exploring LPWAN-Driven IoT Protocols
di: Islam, Mahbubul, et al.
Pubblicazione: (2023)

LLM Agent Communication Protocol (LACP) Requires Urgent Standardization: A Telecom-Inspired Protocol is Necessary
di: Li, Xin, et al.
Pubblicazione: (2025)

CollabORAN: A Collaborative rApp-xApp-dApp Control Architecture for Fairness-Adaptive Resource Sharing in O-RAN
di: Giannopoulos, Anastasios, et al.
Pubblicazione: (2026)

DACP: A Scientific Data Access and Collaboration Protocol
di: Shen, Zhihong, et al.
Pubblicazione: (2026)

Data-driven Bandwidth Adaptation for Radio Access Network Slices
di: Nikolaidis, Panagiotis, et al.
Pubblicazione: (2023)

On the Optimization and Stability of Sectorized Wireless Networks
di: Promponas, Panagiotis, et al.
Pubblicazione: (2023)

DECOFFEE: Decentralized Reinforcement Learning for Time-critical Workload Offloading and Energy Efficiency across the Computing Continuum
di: Giannopoulos, Anastasios, et al.
Pubblicazione: (2026)

A Proof of Concept Resource Management Scheme for Augmented Reality Applications in 5G Systems
di: Nikolaidis, Panagiotis, et al.
Pubblicazione: (2025)

A Survey of Network Protocol Fuzzing: Model, Techniques and Directions
di: Jiang, Shihao, et al.
Pubblicazione: (2024)

Differentially-Private Multi-Tier Federated Learning: A Formal Analysis and Evaluation
di: Chen, Evan, et al.
Pubblicazione: (2025)

Intelligent OLSR Routing Protocol Optimization for VANETs
di: Toutouh, Jamal, et al.
Pubblicazione: (2025)

A Deep Reinforcement Learning-based Approach for Adaptive Handover Protocols
di: Voigt, Johannes, et al.
Pubblicazione: (2025)

Power Evaluation of IOT Application Layer Protocols
di: Shahrokhi, Amirhossein, et al.
Pubblicazione: (2024)

Hercules: Heterogeneous Requirements Congestion Control Protocol
di: Rozen-Schiff, Neta, et al.
Pubblicazione: (2024)

SIRD: A Sender-Informed, Receiver-Driven Datacenter Transport Protocol
di: Prasopoulos, Konstantinos, et al.
Pubblicazione: (2023)

SPAC: Automating FPGA-based Network Switches with Protocol Adaptive Customization
di: Li, Guoyu, et al.
Pubblicazione: (2026)

CloudCap (C2app) : A Cloud-Based Platform for Packet Analysis On The Edge
di: Kokkinos, Kyriazis, et al.
Pubblicazione: (2024)

Should BBR be the default TCP Congestion Control Protocol?
di: Abreu, Josue, et al.
Pubblicazione: (2025)

Directional Antenna Based Scheduling Protocol for IoT Networks
di: Carie, Anil, et al.
Pubblicazione: (2023)

The Carrier Pigeon Internet Protocol: An Algorithmic (and Lighthearted) Perspective
di: Bentert, Matthias, et al.
Pubblicazione: (2026)

Comparative Study of MAC Protocols for Wireless Mesh Network
di: Singh, Ankita, et al.
Pubblicazione: (2024)

Performance Analysis of Transmission Control Protocol (TCP) Variants
di: Pamarath, Mansukh, et al.
Pubblicazione: (2024)

Study of Post Quantum status of Widely Used Protocols
di: Mallick, Tushin, et al.
Pubblicazione: (2026)

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

Multi-Protocol Location Forwarding (MPLF) for Space Routing
di: Wang, Xiangtong, et al.
Pubblicazione: (2024)

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

A Double Auction for Charging Scheduling among Vehicles Using DAG-Blockchains
di: Guo, Jianxiong, et al.
Pubblicazione: (2020)