Investigating Static Analyzers Detection Capabilities on Ethereum Smart Contracts
Mirko Staderini, Andrea Bondavalli · Florence Research (University of Florence) · 2021
The Symposium’s scope covers the key research areas of the Department: from measurement theory and digital signal processing, through artificial intelligence and bioinformatics to cyber-physical systems, dependability, and security.