46 citations · 48 across the 3 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.DC2018
Revisiting Fast Practical Byzantine Fault Tolerance: Thelma, Velma, and Zelma
Ittai Abraham, Guy Gueta, Dahlia Malkhi +1
In a previous note (arXiv:1712.01367 [cs.DC]) , we observed a safety violation in Zyzzyva and a liveness violation in FaB. In this manuscript, we sketch fixes to both. The same vie…
cs.PL2018★ 2 cited
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…