共 80 条
- [1] Adler Felix, 2020, Blockchain and Applications. 2nd International Congress. Advances in Intelligent Systems and Computing (AISC 1238), P153, DOI 10.1007/978-3-030-52535-4_16
- [2] Aggarwal K, 2015, PROC IEEE INT CONF S, P311, DOI 10.1109/ICSM.2015.7332477
- [3] Synthesis of Super-Optimized Smart Contracts Using Max-SMT [J]. COMPUTER AIDED VERIFICATION (CAV 2020), PT I, 2020, 12224 : 177 - 200
- [4] GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2020, 2020, 12079 : 118 - 125
- [5] Running on Fumes Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis [J]. VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2019, 2019, 11847 : 63 - 78
- [6] OpBench: A CPU Performance Benchmark for Ethereum Smart Contract Operation Code [J]. 2019 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN (BLOCKCHAIN 2019), 2019, : 274 - 281
- [7] A Survey of Consensus Algorithms for Blockchain Technology [J]. 2019 INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCES (ICCIS), 2019, : 384 - 389
- [8] [Anonymous], 2022, ISO IEC IEEE INT STA
- [9] [Anonymous], 2018, THESIS AALTO U ESPOO
- [10] GasFuzzer: Fuzzing Ethereum Smart Contract Binaries to Expose Gas-Oriented Exception Security Vulnerabilities [J]. IEEE ACCESS, 2020, 8 (08): : 99552 - 99564