共 20 条
[1]
Bach LM, 2018, 2018 41ST INTERNATIONAL CONVENTION ON INFORMATION AND COMMUNICATION TECHNOLOGY, ELECTRONICS AND MICROELECTRONICS (MIPRO), P1545, DOI 10.23919/MIPRO.2018.8400278
[2]
Bhatia S., 2021, Blockchain for Business: How It Works and Creates Value, P77
[3]
Brito Jerry., 2013, Bitcoin: A primer for policymakers
[4]
Feng ZY, 2020, Arxiv, DOI [arXiv:2002.08155, 10.48550/arXiv.2002.08155]
[5]
SmartBugs: A Framework to Analyze Solidity Smart Contracts
[J].
2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020),
2020,
:1349-1352
[8]
Making Smart Contracts Smarter
[J].
CCS'16: PROCEEDINGS OF THE 2016 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY,
2016,
:254-269
[9]
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
[J].
34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2019),
2019,
:1186-1189
[10]
Mueller B., 2017, Mythril-reversing and bug hunting framework for the ethereum blockchain