Titlebook: Stabilization, Safety, and Security of Distributed Systems; 19th International S Paul Spirakis,Philippas Tsigas Conference proceedings 2017

黄油没有

On Security Analysis of Proof-of-Elapsed-Time (PoET),struction. Recently Intel proposed a new concept of proof-of-elapsed-time (PoET), which leverages trusted computing to enforce random waiting times for block construction. However, trusted computing component may not be perfect and 100% reliable. It is not clear, to what extent, blockchain systems b

档案

SEEK

执拗

Self-stabilizing Localization of the Middle Point of a Line Segment by an Oblivious Robot with Liminot, and unsettled yet. This paper is concerned with three variants of the original problem, minimally relaxing, and presents self-stabilizing algorithms for them. We also show an easy impossibility theorem for bilaterally symmetric algorithms.

指耕作

Generalized Paxos Made Byzantine (and Less Complex),l. In this paper, we make two main contributions. First, we provide a description of Generalized Paxos that is easier to understand, based on a simpler specification and the pseudocode for a solution that can be readily implemented. Second, we extend the protocol to the Byzantine fault model.

发电机

维持

,Constant-Time Complete Visibility for Asynchronous Robots with Lights,ime, . color algorithm for this problem in the asynchronous setting. The proposed algorithm is . – robots do not share positions and their paths do not cross. We also introduce a technique, called Beacon-Directed Curve Positioning, for moving robots in an asynchronous setting, that may be of independent interest.

空洞

COUCH

An Improved Approximate Consensus Algorithm in the Presence of Mobile Faults,ault-tolerance level. In particular, we present an approximate consensus algorithm that requires only . nodes, an . improvement over the state-of-the-art algorithms. Moreover, we also show that the proposed algorithm is . within a family of ..

Allodynia

Fault-Induced Dynamics of Oblivious Robots on a Line,on a line, and at most two of them are faulty. Interestingly, and perhaps surprisingly, the presence of faults induces the robots to perform some form of ., rather than .. In fact, we discover that they arrange themselves inside the segment delimited by the two faults in interleaved sequences of equidistant robots.