共 35 条
[22]
Mueller B, 2018, CONSENSYS MYTHRIL
[24]
SmartCheck: Static Analysis of Ethereum Smart Contracts
[J].
2018 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON EMERGING TRENDS IN SOFTWARE ENGINEERING FOR BLOCKCHAIN (WETSEB),
2018,
:9-16
[25]
Tsankov P, 2018, Arxiv, DOI arXiv:1806.01143
[26]
Veličkovic P, 2018, Arxiv, DOI [arXiv:1710.10903, DOI 10.48550/ARXIV.1710.10903]
[27]
ContractWard: Automated Vulnerability Detection Models for Ethereum Smart Contracts
[J].
IEEE TRANSACTIONS ON NETWORK SCIENCE AND ENGINEERING,
2021, 8 (02)
:1133-1144
[29]
Wood G, 2014, Ethereum Project Yellow Paper