• Publications
  • Influence
Making Smart Contracts Smarter
TLDR
We investigate the security of running smart contracts based on Ethereum in an open distributed network like those of cryptocurrencies. Expand
  • 818
  • 144
  • PDF
A Secure Sharding Protocol For Open Blockchains
TLDR
We propose a new distributed agreement protocol for permission-less blockchains called ELASTICO, which scales almost linearly with available computation. Expand
  • 495
  • 73
  • PDF
Demystifying Incentives in the Consensus Computer
TLDR
We show that when a script execution requires nontrivial computation effort, practical attacks exist which either waste miners' computational resources or lead miners to accept incorrect script results. Expand
  • 150
  • 14
  • PDF
On Power Splitting Games in Distributed Computation: The Case of Bitcoin Pooled Mining
TLDR
We show that existing pool reward sharing protocols are insecure in our game-theoretic analysis under an attack strategy called the "block withholding attack". Expand
  • 112
  • 12
  • PDF
A model counter for constraints over unbounded strings
TLDR
We present a new approach to model counting for structured data types, specifically strings in this work. Expand
  • 47
  • 8
  • PDF
SmartPool: Practical Decentralized Pooled Mining
TLDR
SMARTPOOL gives transaction selection control back to miners while yielding low-variance payouts. Expand
  • 81
  • 7
  • PDF
FlyClient: Super-Light Clients for Cryptocurrencies
TLDR
We introduce FlyClient, a novel transaction verification light client for chains of variable difficulty. Expand
  • 33
  • 7
  • PDF
Randomized View Reconciliation in Permissionless Distributed Systems
TLDR
We propose a novel view reconciliation protocol with a time complexity of only $\Theta(\frac{\ln N}{\ln\ln N})$. Expand
  • 11
  • 3
  • PDF
SCP: A Computationally-Scalable Byzantine Consensus Protocol For Blockchains
TLDR
In this paper, we design a new blockchain Byzantine consensus protocol SCP where the throughput scales linearly with the computation: the more computing power available, the more blocks selected per unit time. Expand
  • 68
  • 1
  • PDF
Obscuro: A Bitcoin Mixer using Trusted Execution Environments
TLDR
We present Obscuro, a highly efficient and secure Bitcoin mixer that utilizes trusted execution environments (TEEs) and we demonstrate its effectiveness in Bitcoin Testnet. Expand
  • 21
  • 1
  • PDF