共 50 条
- [31] 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
- [32] SmartBugs: A Framework to Analyze Solidity Smart Contracts 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), 2020, : 1349 - 1352
- [33] SolAnalyser: A Framework for Analysing and Testing Smart Contracts 2019 26TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), 2019, : 482 - 489
- [34] A Blockchain based Electronic Medical Health Records Framework using Smart Contracts 2021 INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATION AND INFORMATICS (ICCCI), 2021,
- [35] DCAF: Dynamic Cross-Chain Anchoring Framework using Smart Contracts COMPUTER JOURNAL, 2022, 65 (08): : 2164 - 2182
- [36] Managing Energy Markets in Future Smart Grids Using Bilateral Contracts ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 133 - 140
- [38] SoK: Research status and challenges of blockchain smart contracts PROCEEDINGS OF THE 5TH ACM INTERNATIONAL SYMPOSIUM ON BLOCKCHAIN AND SECURE CRITICAL INFRASTRUCTURE, ACM BSCI 2023, 2023, : 145 - 147
- [40] Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond RUNTIME VERIFICATION (RV 2018), 2018, 11237 : 113 - 137