Golan-GuetaGuy

Online detection of effectively callback free objects with applications to smart contracts

SagivMooly, GrossmanShelly, AbrahamIttai, 2017 .

Transactional data structure libraries

Golan-GuetaGuy, KeidarIdit, SpiegelmanAlexander, 2016 .