W Yan,
J Gao, Z Wu, Y Li, Z Guan, Q Li… - Proceedings of the 29th …, 2020 - dl.acm.org
Smart contracts are the back-end programs of blockchain-based applications and the
execution results are deterministic and publicly visible. Developers are unwilling to release …