3 papers
cs.CR2021
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…
cs.CR2019
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…
cs.DC2019
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…