共 50 条
- [21] A Survey of Tools for Analyzing Ethereum Smart Contracts 2019 IEEE INTERNATIONAL CONFERENCE ON DECENTRALIZED APPLICATIONS AND INFRASTRUCTURES (DAPPCON), 2019, : 69 - 78
- [22] Library Usage Detection in Ethereum Smart Contracts ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2019 CONFERENCES, 2019, 11877 : 310 - 317
- [23] A Modeling and Verification Framework for Ethereum Smart Contracts RIGOROUS STATE-BASED METHODS, ABZ 2024, 2024, 14759 : 201 - 207
- [24] 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
- [25] An Extensive Security Analysis on Ethereum Smart Contracts SECURITY AND PRIVACY IN COMMUNICATION NETWORKS, SECURECOMM 2021, PT I, 2021, 398 : 144 - 163
- [26] 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
- [27] DeLMS: A decentralized learning management system using Ethereum smart contracts and IPFS 2023 IEEE 21ST INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, INDIN, 2023,
- [28] A Survey of Attacks on Ethereum Smart Contracts (SoK) PRINCIPLES OF SECURITY AND TRUST (POST 2017), 2017, 10204 : 164 - 186
- [29] Detection and Analysis of Ethereum Energy Smart Contracts APPLIED SCIENCES-BASEL, 2023, 13 (10):
- [30] SmartCheck: Static Analysis of Ethereum Smart Contracts 2018 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON EMERGING TRENDS IN SOFTWARE ENGINEERING FOR BLOCKCHAIN (WETSEB), 2018, : 9 - 16