João F. Ferreira
João F. Ferreira
Home
Projects
Publications
Teaching
Blog
Contact
Research Opportunities
Light
Dark
Automatic
Gernot Salzer
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
Cite
×