Verification of consensus algorithms using satisfiability solving

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Byzantine agreement allows n processes to decide on a common value, in spite of arbitrary failures. The seminal Dolev-Reischuk bound states that any deterministic solution to Byzantine agreement exchanges Ω(n2) bits. In synchronous networks, with a known u ...

The scale and pervasiveness of the Internet make it a pillar of planetary communication, industry and economy, as well as a fundamental medium for public discourse and democratic engagement. In stark contrast with the Internet's decentralized infrastructur ...

We examine the influence of surface charge on the percolation, gel-point and phase behavior of cellulose nanocrystal (CNC) suspensions in relation to their nonlinear rheological material response. Desulfation decreases CNC surface charge density which lead ...

We photoexcite high-energy holon-doublon pairs as a way to alter the magnetic free energy landscape and resulting phase diagram of the frustrated honeycomb magnet ??-RuCl3. The pair recombination through multimagnon emission is tracked through the time evo ...

In this article, we study the problem of Byzantine fault-tolerance in a federated optimization setting, where there is a group of agents communicating with a centralized coordinator. We allow up to

f

Byzantine-faulty agents, which may not follow a prescr ...

Distributed systems designers typically strive to improve performance and preserve availability despite failures or attacks; but, when strong consistency is also needed, they encounter fundamental limitations. The bottleneck is in replica coordination, whi ...

The high atomic-scale complexity inherent in the aptly named complex concentrated alloys, or high entropy alloys, presents unique challenges in understanding (1) the structure and motion of defects that control mechanical properties and (2) the thermodynam ...

Associative surfactants systems involving polar oils have recently been shown to stabilize immiscible liquids by forming nanostructures at the liquid interface and have been used to print soft materials. Although these associating surfactant systems show g ...

The problem of Byzantine resilience in distributed machine learning, a.k.a., Byzantine machine learning, consists in designing distributed algorithms that can train an accurate model despite the presence of Byzantine nodes, i.e., nodes with corrupt data or ...

A new model for the case of a superposition of a phase transformation and a microstructure transition from columnar plane front to equiaxed dendritic growth for peritectic alloys is presented. This model is applied to Fe-Ni alloys where a phase transition ...

Modern machine learning (ML) models are capable of impressive performances. However, their prowess is not due only to the improvements in their architecture and training algorithms but also to a drastic increase in computational power used to train them.|S ...

The landscape of computing is changing, thanks to the advent of modern networking equipment that allows machines to exchange information in as little as one microsecond. Such advancement has enabled microsecond-scale distributed computing, where entire dis ...

We show that the satisfiability problem for the quantifier-free theory of product structures with the equicardinality relation is inNP. As an application, we extend the combinatory array logic fragmentto handle cardinality constraints. The resulting fragme ...

Analysis of the temperature- and stimulus-dependent imaging data toward elucidation of the physical transformations is an ubiquitous problem in multiple fields. Here, temperature-induced phase transition in BaTiO3 is explored using the machine learning ana ...

Motivated by the experimental observation of a quantized 5/2 thermal conductance at filling nu = 5/2, a result incompatible with both the Pfaffian and the anti-Pfaffian states, we have pushed the expansion of the effective Hamiltonian of the 5/2-quantized ...

We study the performance of Markov chains for the q-state ferromagnetic Potts model on random regular graphs. While the cases of the grid and the complete graph are by now well-understood, the case of random regular graphs has resisted a detailed analysis ...

Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...

This paper presents a novel distributed approach for solving AC power flow (PF) problems. The optimization problem is reformulated into a distributed form using a communication structure corresponding to a hypergraph, by which complex relationships between ...

The goal of this thesis is to study continuous-domain inverse problems for the reconstruction of sparse signals and to develop efficient algorithms to solve such problems computationally. The task is to recover a signal of interest as a continuous function ...

Today, automatic control is integrated into a wide spectrum of real-world systems such as electrical grids and transportation networks. Many of these systems comprise numerous interconnected agents, perform safety-critical operations, or generate large amo ...

Verification of consensus algorithms using satisfiability solving

Chat with Graph Search

Partial Synchrony for Free: New Upper Bounds for Byzantine Agreement

Planetary-Scale Byzantine Fault Tolerance

Percolation and phase behavior in cellulose nanocrystal suspensions from nonlinear rheological analysis

Nonequilibrium quasistationary spin disordered state in ?-RuCl3

Byzantine Fault-Tolerance in Federated Local SGD Under 2f-Redundancy

Building Strongly-Consistent Systems Resilient to Failures, Partitions, and Slowdowns

Progress and challenges in the theory and modeling of complex concentrared alloys

Investigating the morphological transitions in an associative surfactant ternary system

Byzantine Machine Learning: A Primer

Phase and microstructure selection in peritectic alloys under high G-V ratio

Byzantine-Resilient Learning Beyond Gradients: Distributing Evolutionary Search

Reliable Microsecond-Scale Distributed Computing

NP Satisfiability for Arrays as Powers

Decoding the Mechanisms of Phase Transitions from In Situ Microscopy Observations

Possible restoration of particle-hole symmetry in the 5/2-quantized Hall state at small magnetic field

Metastability of the Potts Ferromagnet on Random Regular Graphs

Automated Verification of Network Function Binaries

Hypergraph-Based Fast Distributed AC Power Flow Optimization

Variational Methods For Continuous-Domain Inverse Problems: the Quest for the Sparsest Solution

Data-driven and Safe Networked Control with Applications to Microgrids