共 23 条
[1]
[Anonymous], 2015, Advances in Neural Information Processing Systems (NeurIPS)
[2]
[Anonymous], 2018, P IFIP NTMS
[3]
A Survey of Attacks on Ethereum Smart Contracts (SoK)
[J].
PRINCIPLES OF SECURITY AND TRUST (POST 2017),
2017, 10204
:164-186
[4]
Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities
[J].
PROCEEDINGS OF THE 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20),
2020,
:454-469
[5]
Chris D., 2017, INTRO ETHEREUM SOLID
[6]
Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts
[J].
2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2020),
2020,
:530-541
[7]
Slither: A Static Analysis Framework For Smart Contracts
[J].
2019 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON EMERGING TRENDS IN SOFTWARE ENGINEERING FOR BLOCKCHAIN (WETSEB 2019),
2019,
:8-15
[8]
Hajdu A., 2019, P WORK C VER SOFTW T, P161
[9]
Learning to Fuzz from Symbolic Execution with Application to Smart Contracts
[J].
PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19),
2019,
:531-548
[10]
ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection
[J].
PROCEEDINGS OF THE 2018 33RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMTED SOFTWARE ENGINEERING (ASE' 18),
2018,
:259-269