Is Stellar As Secure As You Think?

@article{Kim2019IsSA,
  title={Is Stellar As Secure As You Think?},
  author={Minjeong Kim and Yujin Kwon and Yongdae Kim},
  journal={2019 IEEE European Symposium on Security and Privacy Workshops (EuroS\&PW)},
  year={2019},
  pages={377-385}
}
Stellar is one of the top ten cryptocurrencies in terms of market capitalization. [] Key Method In FBA, a node can complete one consensus round when it receives specific messages from nodes in a quorum slice appointed by the node. In this study, we analyze FBA, whose security is highly dependent on the structure of quorum slices, and demonstrate that it is not superior to the traditional BFT algorithm in terms of safety and liveness. Then, to analyze the security of the Stellar consensus protocol (SCP…

Figures and Tables from this paper

The Sum of Its Parts: Analysis of Federated Byzantine Agreement Systems
TLDR
This paper demonstrates how the robustness of individual FBASs can be determined, by precisely determining their safety and liveness buffers and therefore enabling a comparison with threshold-based quorum systems and investigates the reported “open-membership” property ofFBASs.
Impossibility of Full Decentralization in Permissionless Blockchains
TLDR
This paper defines (m, ε, δ)-decentralization as a state satisfying that 1) there are at least m participants running a node, and 2) the ratio between the total resource power of nodes run by the richest and the δ-th percentile participants is less than or equal to 1 + ε.
Who Spent My EOS? On the (In)Security of Resource Management of EOS.IO
TLDR
This investigation investigates the design architecture of EOS.IO and introduces four attacks whose root causes stem from the unique characteristics of Eos.IO, including intentionally slowing down the block creation time—which can disrupt the essential functions of its blockchain and incapacitate the entire E.IO system.
Practical I-Voting on Stellar Blockchain
TLDR
It is argued that the proposed system satisfies all requirements stated for a robust i-voting system including transparency, verifiability, and voter anonymity, and high throughput and low transaction fees allow handling large scale voting at low costs.
A Fair Method for Distributing Collective Assets in the Stellar Blockchain Financial Network
TLDR
The results of this study concerning the importance of the targeted division of collective assets show a context-aware recommendation system as a solution to improve the process of Stellar users’ participation in the voting process.
Security and Performance Analysis of Quorum-based Blockchain Consensus Protocols
TLDR
This paper analyzes the main quorumbased consensus protocols for blockchains that are alternatives with higher throughput and energy-efficient and focuses on Byzantine fault-tolerant protocols as they are more robust to security attacks.
Towards Efficient Governance In Distributed Ledger Systems Using High-Performance Computational Nodes
TLDR
This paper tried to showcase the applicability of democratic governance in the blockchain ecosystem through the use of supernodes, in order to solve some of the current dilemmas.
Evaluating the B3-Condition in Asymmetric Quorum Systems
TLDR
This thesis introduces the design and implementation of two algorithms which verify the B3-condition for small example systems in order to facilitate research into asymmetric Byzantine quorum systems.
Decentralization in Open Quorum Systems
TLDR
Drawing from game theory and computational complexity, limiting results concerning the decentralisation vs. safety trade-off in Ripple and Stellar are established, and a novel methodology is proposed to formalise and quantitatively analyse decentralisation in this type of blockchains.
Centrality of nodes in Federated Byzantine Agreement Systems
TLDR
This paper considers three different approaches for obtaining centrality measures for the nodes in an FBAS, and develops a new, problem-adapted centrality measure based on the intactness of nodes, which is an important ingredient of the FBAS model.
...
...

References

SHOWING 1-10 OF 31 REFERENCES
Federated Byzantine Quorum Systems (Extended Version)
TLDR
It is shown that this setting leads to a novel variant of Byzantine quorum systems where different nodes may have different understanding of what constitutes a quorum, and correctness in the realistic setting where Byzantine nodes may lie about their trust choices is proved.
Majority is not enough
TLDR
This work shows that the Bitcoin mining protocol is not incentive-compatible, and proposes a practical modification to the Bitcoin protocol that protects Bitcoin in the general case, and prohibits selfish mining by a coalition that command less than 1/4 of the resources.
An Empirical Analysis of Traceability in the Monero Blockchain
TLDR
It is found that after removing mining pool activity, there remains a large amount of potentially privacy-sensitive transactions that are affected by these weaknesses in Monero's mixin sampling strategy and two countermeasures are proposed and evaluated that can improve the privacy of future transactions.
An Empirical Analysis of Linkability in the Monero Blockchain
TLDR
This report empirically evaluates two weaknesses in Monero’s mixin sampling strategy, and proposes and evaluates a countermeasure derived from blockchain data that can improve the privacy of future transactions.
Measuring Ethereum Network Peers
Ethereum, the second-largest cryptocurrency valued at a peak of $138 billion in 2018, is a decentralized, Turing-complete computing platform. Although the stability and security of Ethereum---and
Decentralization in Bitcoin and Ethereum Networks
TLDR
The extent of decentralization is investigated by measuring the network resources of nodes and the interconnection among them, the protocol requirements affecting the operation of nodes, and the robustness of the two systems against attacks.
Algorand: Scaling Byzantine Agreements for Cryptocurrencies
TLDR
Experimental results show that Algorand confirms transactions in under a minute, achieves 125x Bitcoin's throughput, and incurs almost no penalty for scaling to more users.
The Stellar Consensus Protocol : A Federated Model for Internet-level Consensus
TLDR
A new model for consensus called federated Byzantine agreement (FBA), which achieves robustness through quorum slices—individual trust decisions made by each node that together determine system-level quorums.
Architecture of the Hyperledger Blockchain Fabric
TLDR
A report of Swanson compares the two models of blockchains, where anyone can operate a node and participate through spending CPU cycles and demonstrating a “proof-of-work” in the “permissioned” model.
The Honey Badger of BFT Protocols
TLDR
HoneyBadgerBFT is presented, the first practical asynchronous BFT protocol, which guarantees liveness without making any timing assumptions, and is based on a novel atomic broadcast protocol that achieves optimal asymptotic efficiency.
...
...