共计 24 篇文章
2020
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