共 50 条
- [21] Towards a Dynamic Testing Approach for Checking the Correctness of Ethereum Smart Contracts RISKS AND SECURITY OF INTERNET AND SYSTEMS, CRISIS 2022, 2023, 13857 : 85 - 100
- [22] SSCalc: A Calculus for Solidity Smart Contracts SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2023, 2023, 14323 : 184 - 204
- [23] Defect Prediction for Solidity Smart Contracts Based on Software Measurement Ruan Jian Xue Bao/Journal of Software, 2022, 33 (05): : 1587 - 1611
- [24] Ethereum Smart Contracts: Vulnerabilities and their Classifications 2020 IEEE INTERNATIONAL CONFERENCE ON BIG DATA (BIG DATA), 2020,
- [25] Termination of Ethereum's Smart Contracts PROCEEDINGS OF THE 17TH INTERNATIONAL JOINT CONFERENCE ON E-BUSINESS AND TELECOMMUNICATIONS (SECRYPT), VOL 1, 2020, : 39 - 51
- [26] Blockchain-based Traceability of Carbon Footprint: A Solidity Smart Contract for Ethereum PROCEEDINGS OF THE 22ND INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS (ICEIS), VOL 2, 2020, : 258 - 268
- [27] Runtime Verification of Ethereum Smart Contracts 2018 14TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2018), 2018, : 158 - 163
- [28] Security Vulnerabilities in Ethereum Smart Contracts 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
- [29] DevOps for Ethereum Blockchain Smart Contracts 2021 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN (BLOCKCHAIN 2021), 2021, : 244 - 251
- [30] Security Vulnerabilities in Ethereum Smart Contracts IIWAS2018: THE 20TH INTERNATIONAL CONFERENCE ON INFORMATION INTEGRATION AND WEB-BASED APPLICATIONS & SERVICES, 2014, : 375 - 380