Shelly Grossman | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Michael K. Reiter
19 publications
Dahlia Malkhi
19 publications
Mooly Sagiv
19 publications
Ittai Abraham
18 publications
Ittay Eyal
12 publications
Yoni Zohar
12 publications
Noam Rinetzky
9 publications
Dragos-Adrian Seredinschi
7 publications
Benny Pinkas
5 publications
Michael Mirkin
4 publications
Alin Tomescu
3 publications

research

∙ 06/02/2021

Phoenix: A Formally Verified Regenerating Vault

An attacker that gains access to a cryptocurrency user's private keys ca...

0 Uri Kirstein, et al. ∙

research

∙ 04/04/2018

SBFT: a Scalable Decentralized Trust Infrastructure for Blockchains

We present SBFT: a scalable decentralized trust infrastructure for Block...

0 Guy Golan-Gueta, et al. ∙

research

∙ 01/12/2018

Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts

Callbacks are essential in many programming environments, but drasticall...

0 Shelly Grossman, et al. ∙

Success!

An error occurred