733 citations · 1.4k across the 7 of their papers we have counts for
9 papers · 1 filter
Strategic Latency Reduction in Blockchain Peer-to-Peer Networks
Weizhao Tang, Lucianna Kiffer, Giulia Fanti +1
Most permissionless blockchain networks run on peer-to-peer (P2P) networks, which offer flexibility and decentralization at the expense of performance (e.g., network latency). Hist…
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts
Kushal Babel, Philip Daian, Mahimna Kelkar +1
We introduce the Clockwork Finance Framework (CFF), a general purpose, formal verification framework for mechanized reasoning about the economic security properties of composed dec…
Forsage: Anatomy of a Smart-Contract Pyramid Scheme
Tyler Kell, Haaroon Yousaf, Sarah Allen +2
Pyramid schemes are investment scams in which top-level participants in a hierarchical network recruit and profit from an expanding base of defrauded newer participants. Pyramid sc…
BDoS: Blockchain Denial of Service
Michael Mirkin, Yan Ji, Jonathan Pang +3
Proof-of-work (PoW) cryptocurrency blockchains like Bitcoin secure vast amounts of money. Their operators, called miners, expend resources to generate blocks and receive monetary r…
SquirRL: Automating Attack Analysis on Blockchain Incentive Mechanisms with Deep Reinforcement Learning
Charlie Hou, Mingxun Zhou, Yan Ji +4
Incentive mechanisms are central to the functionality of permissionless blockchains: they incentivize participants to run and secure the underlying consensus protocol. Designing in…
DECO: Liberating Web Data Using Decentralized Oracles for TLS
Fan Zhang, Sai Krishna Deepak Maram, Harjasleen Malvai +2
Thanks to the widespread deployment of TLS, users can access private data over channels with end-to-end confidentiality and integrity. What they cannot do, however, is prove to thi…
Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges
Philip Daian, Steven Goldfeder, Tyler Kell +5
Blockchains, and specifically smart contracts, have promised to create fair and transparent trading ecosystems. Unfortunately, we show that this promise has not been met. We docume…
Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contract Execution
Raymond Cheng, Fan Zhang, Jernej Kos +6
Smart contracts are applications that execute on blockchains. Today they manage billions of dollars in value and motivate visionary plans for pervasive blockchain deployment. While…
Stealing Machine Learning Models via Prediction APIs
Florian Tramèr, Fan Zhang, Ari Juels +2
Machine learning (ML) models may be deemed confidential due to their sensitive training data, commercial value, or use in security applications. Increasingly often, confidential ML…