共 35 条
[1]
Amani S, 2018, PROCEEDINGS OF THE 7TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2018, P66, DOI 10.1145/3167084
[2]
Formal Verification of Smart Contracts Short Paper
[J].
PROCEEDINGS OF THE 2016 ACM WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY (PLAS'16),
2016,
:91-96
[4]
Denton E, 2014, ADV NEUR IN, V27
[5]
A Survey of Tools for Analyzing Ethereum Smart Contracts
[J].
2019 IEEE INTERNATIONAL CONFERENCE ON DECENTRALIZED APPLICATIONS AND INFRASTRUCTURES (DAPPCON),
2019,
:69-78
[6]
Security Vulnerabilities in Ethereum Smart Contracts
[J].
IEEE 2018 INTERNATIONAL CONGRESS ON CYBERMATICS / 2018 IEEE CONFERENCES ON INTERNET OF THINGS, GREEN COMPUTING AND COMMUNICATIONS, CYBER, PHYSICAL AND SOCIAL COMPUTING, SMART DATA, BLOCKCHAIN, COMPUTER AND INFORMATION TECHNOLOGY,
2018,
:955-962
[7]
Resource Pricing and Allocation in MEC Enabled Blockchain Systems: An A3C Deep Reinforcement Learning Approach
[J].
IEEE TRANSACTIONS ON NETWORK SCIENCE AND ENGINEERING,
2022, 9 (01)
:33-44
[10]
SmartBugs: A Framework to Analyze Solidity Smart Contracts
[J].
2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020),
2020,
:1349-1352