Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
A Survey of Smart Contract Formal Specification and Verification | ACM Computing Surveys |
| 44 | 2022 |
A Survey on Ethereum Systems Security | ACM Computing Surveys |
| 119 | 2020 |
An Analysis of Smart Contracts Security Threats Alongside Existing Solutions | Entropy |
| 16 | 2020 |
10.1109/ACCESS.2021.3140091 | IEEE Access |
| 2022 | |
Ethereum smart contract security research: survey and future research opportunities | Frontiers of Computer Science |
| 57 | 2021 |