Imagen de Portada

Formalization and security analysis of the Bridgeless protocol

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Alpos, Orestis, Fomenko, Oleg, Karakostas, Dimitris, Kurbatov, Oleksandr, Sabelnikov, Andrey
Formato:	Preprint
Publicado:	2025
Materias:	Distributed, Parallel, and Cluster Computing
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

An overview of the efficiency and censorship-resistance guarantees of widely-used consensus protocols
por: Alpos, Orestis, et al.
Publicado: (2025)

Asymmetric Distributed Trust
por: Alpos, Orestis, et al.
Publicado: (2019)

Pod: An Optimal-Latency, Censorship-Free, and Accountable Generalized Consensus Layer
por: Alpos, Orestis, et al.
Publicado: (2025)

Monotone Erasure Codes
por: Bammert, Vivien, et al.
Publicado: (2026)

Bitcoin-IPC Whitepaper: Scaling Bitcoin with a Network of Proof-of-Stake Subnets
por: Vukolić, Marko, et al.
Publicado: (2025)

Adelie: Detection and prevention of Byzantine behaviour in DAG-based consensus protocols
por: Chursin, Andrey
Publicado: (2024)

Modular population protocols
por: Raskin, Michael
Publicado: (2021)

Space-efficient population protocols for exact majority on general graphs
por: Rybicki, Joel, et al.
Publicado: (2025)

An efficient validated asynchronous byzantine agreement protocol using committee
por: Sony, Nasit S
Publicado: (2025)

Theoretical analysis of beaconless geocast protocols in 1D
por: Gudmundsson, Joachim, et al.
Publicado: (2025)

Frosty: Bringing strong liveness guarantees to the Snow family of consensus protocols
por: Buchwald, Aaron, et al.
Publicado: (2024)

Formal Modeling and Verification of the Algorand Consensus Protocol in CADP
por: Esposito, Andrea, et al.
Publicado: (2025)

Formal Definition and Implementation of Reproducibility Tenets for Computational Workflows
por: Pritchard, Nicholas J., et al.
Publicado: (2024)

Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites
por: Popovic, Miroslav, et al.
Publicado: (2024)

Monadring: A lightweight consensus protocol to offer Validation-as-a-Service to AVS nodes
por: Zhang, Yu, et al.
Publicado: (2024)

On the Operational Resilience of CBDC: Threats and Prospects of Formal Validation for Offline Payments
por: Bernardo, Marco, et al.
Publicado: (2025)

Formal and Empirical Study of Metadata-Based Profiling for Resource Management in the Computing Continuum
por: Morichetta, Andrea, et al.
Publicado: (2025)

Can you keep a secret? A new protocol for sender-side enforcement of causal message delivery
por: Tong, Yan, et al.
Publicado: (2026)

Formal Verification of a Generic Algorithm for TDM Communication Over Inter Satellite Links
por: Popovic, Miroslav, et al.
Publicado: (2025)

What can be computed in average anonymous networks?
por: Rybicki, Joel, et al.
Publicado: (2026)

CausalMesh: A Formally Verified Causally Consistent Distributed Cache with Support for Client Migration
por: Zhang, Haoran, et al.
Publicado: (2025)

Formal Specification for Fast ACS: Low-Latency File-Based Ordered Message Delivery at Scale
por: Gupta, Sushant Kumar, et al.
Publicado: (2025)

A Lightweight Hybrid Publish/Subscribe Event Fabric for IPC and Modular Distributed Systems
por: Gkoulis, Dimitris
Publicado: (2026)

The ArborX library: version 2.0
por: Prokopenko, Andrey, et al.
Publicado: (2025)

Vitamin-V: Virtual Environment and Tool-boxing for Trustworthy Development of RISC-V based Cloud Services
por: Arelakis, A., et al.
Publicado: (2023)

DRAM Errors and Cosmic Rays: Space Invaders or Science Fiction?
por: Boixaderas, Isaac, et al.
Publicado: (2024)

Unpacking Maximum Extractable Value on Polygon: A Study on Atomic Arbitrage
por: Vostrikov, Daniil, et al.
Publicado: (2025)

The State of FaaS: An analysis of public Functions-as-a-Service providers
por: Ekwe-Ekwe, Nnamdi, et al.
Publicado: (2024)

Vitamin-V: Expanding Open-Source RISC-V Cloud Environments
por: Canal, Ramon, et al.
Publicado: (2024)

MP-SL: Multihop Parallel Split Learning
por: Tirana, Joana, et al.
Publicado: (2024)

bigMICE: Multiple Imputation of Big Data
por: Morvan, Hugo, et al.
Publicado: (2026)

Swiper: a new paradigm for efficient weighted distributed protocols
por: Tonkikh, Andrei, et al.
Publicado: (2023)

Large language models in 6G security: challenges and opportunities
por: Nguyen, Tri, et al.
Publicado: (2024)

Dave: a decentralized, secure, and lively fraud-proof algorithm
por: Nehab, Diego, et al.
Publicado: (2024)

Research on fault diagnosis and root cause analysis based on full stack observability
por: Hou, Jian
Publicado: (2025)

Evaluating Versal AI Engines for option price discovery in market risk analysis
por: Klaisoongnoen, Mark, et al.
Publicado: (2024)

A categorical and logical framework for iterated protocols
por: Goubault, Eric, et al.
Publicado: (2025)

Trace-based, time-resolved analysis of MPI application performance using standard metrics
por: Haldar, Kingshuk
Publicado: (2025)

A Formal Framework for Predicting Distributed System Performance under Faults (Extended Version)
por: Zhou, Ziwei, et al.
Publicado: (2026)

Performance analysis of mdx II: A next-generation cloud platform for cross-disciplinary data science research
por: Takahashi, Keichi, et al.
Publicado: (2025)