W Shao,
Z Wang, X Wang, K Qiu, C Jia, C Jiang - Information Sciences, 2020 - Elsevier
Smart contracts allow verifiable operations to be executed in blockchains, bringing new
possibilities for trust establishment in trustless scenarios. However, smart contracts are …