45 citations · 127 across the 13 of their papers we have counts for
1 paper · 1 filter
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…