Ethainter: a smart contract security analyzer for composite vulnerabilities
Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, Yannis Smaragdakis
Abstract
Smart contracts on permissionless blockchains are exposed to inherent security risks due to interactions with untrusted entities. Static analyzers are essential for identifying security risks and avoiding millions of dollars worth of damage.
Topics & Concepts
Computer securityComputer scienceBlockchain Technology Applications and SecurityAdvanced Malware Detection TechniquesSecurity and Verification in Computing