2 code implementations • 11 Sep 2018 • Lexi Brent, Anton Jurisevic, Michael Kong, Eric Liu, Francois Gauthier, Vincent Gramoli, Ralph Holz, Bernhard Scholz
In this paper, we present Vandal: a security analysis framework for Ethereum smart contracts.
Programming Languages