共 50 条
- [1] Modelling And Simulation For Detecting Vulnerabilities And Security Threats Of Smart Contracts Using Machine Learning [J]. 2023 EIGHTH INTERNATIONAL CONFERENCE ON FOG AND MOBILE EDGE COMPUTING, FMEC, 2023, : 123 - 127
- [2] EOSAFE: Security Analysis of EOSIO Smart Contracts [J]. PROCEEDINGS OF THE 30TH USENIX SECURITY SYMPOSIUM, 2021, : 1271 - 1288
- [3] Panda: Security Analysis of Algorand Smart Contracts [J]. PROCEEDINGS OF THE 32ND USENIX SECURITY SYMPOSIUM, 2023, : 1811 - 1828
- [4] SECURIFY: Practical Security Analysis of Smart Contracts [J]. PROCEEDINGS OF THE 2018 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'18), 2018, : 67 - 82
- [5] An Extensive Security Analysis on Ethereum Smart Contracts [J]. SECURITY AND PRIVACY IN COMMUNICATION NETWORKS, SECURECOMM 2021, PT I, 2021, 398 : 144 - 163
- [6] HORSTIFY: Sound Security Analysis of Smart Contracts [J]. 2023 IEEE 36TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM, CSF, 2023, : 245 - 260
- [7] A Semantic Framework for the Security Analysis of Ethereum Smart Contracts [J]. PRINCIPLES OF SECURITY AND TRUST, POST 2018, 2018, 10804 : 243 - 269
- [8] Machine Learning Based Security for Smart Cities [J]. 2022 27TH ASIA PACIFIC CONFERENCE ON COMMUNICATIONS (APCC 2022): CREATING INNOVATIVE COMMUNICATION TECHNOLOGIES FOR POST-PANDEMIC ERA, 2022, : 572 - 573
- [9] Security Smells in Smart Contracts [J]. 2019 COMPANION OF THE 19TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS-C 2019), 2019, : 442 - 449
- [10] Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning [J]. PROCEEDINGS OF EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING (EASE 2021), 2021, : 305 - 312