W Duo, H Xin, M Xiaofeng - IEEE Intelligent Systems, 2020 - ieeexplore.ieee.org
Smart contracts increasingly cause attention for its ability to widen blockchain's application
scope. However, the security of contracts is vital to its wide deployment. In this article, we …