G Grieco, W Song, A Cygan,
J Feist… - Proceedings of the 29th …, 2020 - dl.acm.org
Ethereum smart contracts---autonomous programs that run on a blockchain---often control
transactions of financial and intellectual property. Because of the critical role they play, smart …