Securify: Practical Security Analysis of Smart Contracts
Smart Contract Vulnerability Detection Using Graph Neural Networks
The art of the scam: Demystifying honeypots in ethereum smart contracts
Osiris：Hunting for Integer Bugs in Ethereum Smart Contracts
Slither: A Static Analysis Framework For Smart
Making Smart Contracts Smarter
Contractward: Automated vulnerability detection models for ethereum smart contracts
Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts
Machine Learning Model for Smart Contracts Security Analysis
A Survey of Smart Contract Formal Specification and Verification