Investigating Static Analyzers Detection Capabilities on Ethereum Smart Contracts

Abstract

The Symposium’s scope covers the key research areas of the Department: from measurement
\ntheory and digital signal processing, through artificial intelligence and bioinformatics to cyber-physical systems, dependability, and security.