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.
Investigating Static Analyzers Detection Capabilities on Ethereum Smart Contracts / Staderini, Mirko; Bondavalli, Andrea. - ELETTRONICO. - (2021), pp. 36-39. (Intervento presentato al convegno 28th Minisymposium of the Department of Measurement and Information Systems of the Budapest University of Technology and Economic).
Investigating Static Analyzers Detection Capabilities on Ethereum Smart Contracts
Staderini, Mirko
;Bondavalli, Andrea
2021
Abstract
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.