João F. Ferreira
João F. Ferreira
Home
Projects
Publications
Teaching
Blog
Contact
Research Opportunities
Light
Dark
Automatic
Thomas Durieux
Latest
Evolution of automated weakness detection in Ethereum bytecode: a comprehensive study
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts
SmartBugs: A Framework to Analyze Solidity Smart Contracts
Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts
Cite
×