共 50 条
- [11] Smart Money Wasting: Analyzing Gas Cost Drivers of Ethereum Smart Contracts 2022 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2022), 2022, : 293 - 304
- [12] Improving Supply Chain Management Processes Using Smart Contracts in the Ethereum Network Written in Solidity APPLIED SCIENCES-BASEL, 2024, 14 (11):
- [13] Towards a Management Plane for Smart Contracts: Ethereum Case Study NOMS 2018 - 2018 IEEE/IFIP NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM, 2018,
- [15] A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts 2021 IEEE 30TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE 2021), 2021, : 69 - 74
- [16] DeSG: Towards Generating Valid Solidity Smart Contracts with Deep Learning ADVANCES IN NATURAL COMPUTATION, FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY, ICNC-FSKD 2022, 2023, 153 : 85 - 92
- [17] Lightweight extension of an execution environment for safer function calls in Solidity/Ethereum Virtual Machine smart contracts 2021 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING (SANER 2021), 2021, : 689 - 695
- [18] Robust Vulnerability Detection in Solidity-Based Ethereum Smart Contracts Using Fine-Tuned Transformer Encoder Models IEEE ACCESS, 2024, 12 : 154700 - 154717
- [19] ConFuzz: Towards Large Scale Fuzz Testing of Smart Contracts in Ethereum IEEE INFOCOM 2024-IEEE CONFERENCE ON COMPUTER COMMUNICATIONS, 2024, : 1691 - 1700
- [20] ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts 2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2022), 2022, : 65 - 69