Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights

Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos +4

A widespread belief in the blockchain security community is that automated techniques are only good for detecting shallow bugs, typically of small value. In this paper, we present…