2 citations · 2 across the 3 of their papers we have counts for
7 papers
Phoenix: A Formally Verified Regenerating Vault
Uri Kirstein, Shelly Grossman, Michael Mirkin +3
An attacker that gains access to a cryptocurrency user's private keys can perform any operation in her stead. Due to the decentralized nature of most cryptocurrencies, no entity ca…
Efficient MDP Analysis for Selfish-Mining in Blockchains
Roi Bar-Zur, Ittay Eyal, Aviv Tamar
A proof of work (PoW) blockchain protocol distributes rewards to its participants, called miners, according to their share of the total computational power. Sufficiently large mine…
MAD-HTLC: Because HTLC is Crazy-Cheap to Attack
Itay Tsabary, Matan Yechieli, Alex Manuskin +1
Smart Contracts and transactions allow users to implement elaborate constructions on cryptocurrency blockchains like Bitcoin and Ethereum. Many of these constructions, including op…
Multi-Party Timed Commitments
Yael Doweck, Ittay Eyal
The problem of obtaining secret commitments from multiple parties and revealing them after a certain time is useful for sealed-bid auctions, games, and other applications. Existing…
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…
Ostraka: Secure Blockchain Scaling by Node Sharding
Alex Manuskin, Michael Mirkin, Ittay Eyal
Cryptocurrencies, implemented with blockchain protocols, promise to become a global payment system if they can overcome performance limitations. Rapidly advancing architectures imp…