[1] SZABO N. Formalizing and securing relationships on public networks[J]. First Monday, 1997, 2(9): 1-21.
[2] LI J X, WU J G, CHEN L. Block-secure: blockchain based scheme for secure P2P cloud storage[J]. Information Sciences, 2018, 465: 219-231.
[3] TOLMACH P, LI Y, LIN S W, et al. A survey of smart contract formal specification and verification[J]. ACM Computing Surveys (CSUR), 2021, 54(7): 1-38.
[4] 付梦琳, 吴礼发, 洪征, 等. 智能合约安全漏洞挖掘技术研究[J]. 计算机应用, 2019, 39(7): 1959-1966.
FU M L, WU L F, HONG Z, et al. Research on vulnerability mining technique for smart contracts[J]. Journal of Computer Applications, 2019, 39(7): 1959-1966.
[5] TIKHOMIROV S, VOSKRESENSKAYA E, IVANITSKIY I, et al. SmartCheck: static analysis of Ethereum smart contracts[C]//Proceedings of the 2018 IEEE/ACM 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), Gpthenburg, 2018: 9-16.
[6] Mythril: security analysis tool for EVM bytecode[EB/OL]. [2023-05-01]. https://github.com/ConsenSys/mythril.
[7] LUU L, CHU D H, OLICKEL H, et al. Making smart contracts smarter[C]//Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. New York: ACM Press, 2016: 254-269.
[8] MOSSBERG M, MANZANO F, HENNENFENT E, et al. Manticore: a user-friendly symbolic execution framework for binaries and smart contracts[C]//Proceedings of the 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE). New York: IEEE Press, 2019: 1186-1189.
[9] TSANKOV P, DAN A, DRACHSLER C D, et al. Securify: practical security analysis of smart contracts[C]//Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security (CCS). New York: ACM Press, 2018: 67-82.
[10] SCARSELLI F, GORI M, TSOI A C, et al. The graph neural network model[J]. IEEE Transactions on Neural Networks, 2009, 20(1): 61-80.
[11] LI Y J, TARLOW D, BROCKSCHMIDT M, et al. Gated graph sequence neural networks[C]//International Conference on Learning Representations (ICLR), 2016.
[12] THOMAS N K, MAX W. Semi-supervised classifification with graph convolutional networks[C]//International Conference on Learning Representations (ICLR), 2017.
[13] VELI?KOVI? P, CUCURULL G, CASANOVA A, et al. Graph attention networks[C]//International Conference on Learning Representations (ICLR), 2018.
[14] XU K, HU W, LESKOVEC J, et al. How powerful are graph neural networks?[C]//International Conference on Learning Representations (ICLR), 2019.
[15] QIAN P, LIU Z G, ZHUANG Y, et al. Smart contract vulnerability detection using graph neural network[C]//Proceedings of IJCAI, 2020: 3283-3290.
[16] FAN Y Q, SHANG S Y, XU D. Smart contract vulnerability detection based on dual attention graph convolutional network[C]//International Conference on Collaborative Computing: Networking, Applications and Worksharing, 2021.
[17] 赵波, 上官晨晗, 彭小燕, 等. 基于语义感知图神经网络的智能合约字节码漏洞检测方法[J]. 工程科学与技术, 2022, 54(2): 49-55.
ZHAO B, SHANGGUAN C H, PENG X Y, et al. Semantic-aware graph neural network for smart contract bytecode vulnerability detection[J]. Advanced Engineering Sciences, 2022, 54(2): 49-55.
[18] ALLAMANIS M, BROCKSCHMIDT M, KHADEMI M. Learning to represent programs with graphs[C]//International Conference on Learning Representations(ICLR), 2018.
[19] HAMILTON W L, YING R, LESKOVEC J. Inductive representation learning on large graphs[C]//Advances in Neural Information Processing Systems (NIPS), 2017: 1025-1035.
[20] XU K, LI C T, TIAN Y L, et al. Representation learning on graphs with jumping knowledge networks[C]//International Conference on Machine Learning (ICML), 2018: 5453-5462.
[21] DURIEUX T, FERREIRA J F, ABREU R, et al. Empirical review of automated analysis tools on 47, 587 Ethereum smart contracts[C]//Proceedings of the 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), Seoul, 2020: 530-541.
[22] LIU T J. Smart contract dataset[DB/OL]. [2023-05-01]. https://tianchi.aliyun.com/dataset/127443.
[23] FEIST J, GRIECO G, GROCE A. Slither: a static analysis framework for smart contracts[C]//Proceedings of the 2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), Montreal, 2019: 8-15.
[24] ETHEREUM. Remix-Ethereum browser-based compiler and IDE[EB/OL]. [2023-05-01]. https://remix.ethereum.org. |