共 27 条
[1]
Harer JA, 2018, Arxiv, DOI arXiv:1803.04497
[3]
Chia V., IEEE INT C INT THING
[4]
Clarke EM, 2008, LECT NOTES COMPUT SC, V5000, P196
[5]
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
[7]
A Semantic Framework for the Security Analysis of Ethereum Smart Contracts
[J].
PRINCIPLES OF SECURITY AND TRUST, POST 2018,
2018, 10804
:243-269
[8]
Poster: Toward A Code Pattern Based Vulnerability Measurement Model
[J].
SACMAT'18: PROCEEDINGS OF THE 23RD ACM SYMPOSIUM ON ACCESS CONTROL MODELS & TECHNOLOGIES,
2018,
:209-211
[9]
Hofstätter S, 2019, LECT NOTES COMPUT SC, V11437, P810, DOI 10.1007/978-3-030-15712-8_57
[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