共计 23 篇文章
2020
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 SmartEmbed: A Tool for Clone and Bug Detection in Smart Contracts through Structural Code Embedding