共 90 条
[11]
Zerocash: Decentralized Anonymous Payments from Bitcoin
[J].
2014 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2014),
2014,
:459-474
[14]
Chen T, 2017, 2017 IEEE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER), P442, DOI 10.1109/SANER.2017.7884650
[16]
DAML, US
[17]
Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab
[J].
FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2016,
2016, 9604
:79-94
[18]
A Survey of Tools for Analyzing Ethereum Smart Contracts
[J].
2019 IEEE INTERNATIONAL CONFERENCE ON DECENTRALIZED APPLICATIONS AND INFRASTRUCTURES (DAPPCON),
2019,
:69-78
[19]
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
[20]
Echidna, ECH FAST SMART CONTR