共 50 条
- [21] Slither: A Static Analysis Framework For Smart Contracts 2019 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON EMERGING TRENDS IN SOFTWARE ENGINEERING FOR BLOCKCHAIN (WETSEB 2019), 2019, : 8 - 15
- [22] An energy trading framework using smart contracts 2023 IEEE GREEN TECHNOLOGIES CONFERENCE, GREENTECH, 2023, : 214 - 218
- [23] SmartBugs: A Framework to Analyze Solidity Smart Contracts 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), 2020, : 1349 - 1352
- [24] A Cognitive Framework to Secure Smart Cities 2018 3RD INTERNATIONAL CONFERENCE ON MEASUREMENT INSTRUMENTATION AND ELECTRONICS (ICMIE 2018), 2018, 208
- [25] SolAnalyser: A Framework for Analysing and Testing Smart Contracts 2019 26TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), 2019, : 482 - 489
- [27] FASTEN: Fair and Secure Distributed Voting Using Smart Contracts 2021 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN AND CRYPTOCURRENCY (ICBC), 2021,
- [28] DESC: enabling secure data exchange based on smart contracts Science China Information Sciences, 2018, 61
- [30] SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts ISSTA '21: PROCEEDINGS OF THE 30TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, 2021, : 666 - 669