共 50 条
- [31] Gas Estimation and Optimization for Smart Contracts on Ethereum 2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING ASE 2021, 2021, : 1082 - 1086
- [32] A Framework and DataSet for Bugs in Ethereum Smart Contracts 2020 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2020), 2020, : 139 - 150
- [33] Not so Immutable: Upgradeability of Smart Contracts on Ethereum FINANCIAL CRYPTOGRAPHY AND DATA SECURITY. FC 2022 INTERNATIONAL WORKSHOPS, 2023, 13412 : 539 - 554
- [34] A Survey of Tools for Analyzing Ethereum Smart Contracts 2019 IEEE INTERNATIONAL CONFERENCE ON DECENTRALIZED APPLICATIONS AND INFRASTRUCTURES (DAPPCON), 2019, : 69 - 78
- [35] Library Usage Detection in Ethereum Smart Contracts ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2019 CONFERENCES, 2019, 11877 : 310 - 317
- [36] A Modeling and Verification Framework for Ethereum Smart Contracts RIGOROUS STATE-BASED METHODS, ABZ 2024, 2024, 14759 : 201 - 207
- [37] SAFEVM: A Safety Verifier for Ethereum Smart Contracts PROCEEDINGS OF THE 28TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA '19), 2019, : 386 - 389
- [38] An Extensive Security Analysis on Ethereum Smart Contracts SECURITY AND PRIVACY IN COMMUNICATION NETWORKS, SECURECOMM 2021, PT I, 2021, 398 : 144 - 163
- [39] Fitting and Regression for Distributions of Ethereum Smart Contracts 2020 2ND CONFERENCE ON BLOCKCHAIN RESEARCH & APPLICATIONS FOR INNOVATIVE NETWORKS AND SERVICES (BRAINS), 2020, : 248 - 255
- [40] DeLMS: A decentralized learning management system using Ethereum smart contracts and IPFS 2023 IEEE 21ST INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, INDIN, 2023,