2 citations · 2 across the 2 of their papers we have counts for
3 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…
SBFT: a Scalable and Decentralized Trust Infrastructure
Guy Golan Gueta, Ittai Abraham, Shelly Grossman +6
SBFT is a state of the art Byzantine fault tolerant permissioned blockchain system that addresses the challenges of scalability, decentralization and world-scale geo-replication. S…
Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts
Shelly Grossman, Ittai Abraham, Guy Golan-Gueta +4
Callbacks are essential in many programming environments, but drastically complicate program understanding and reasoning because they allow to mutate object's local states by exter…