Vandal: A Scalable Security Analysis Framework for Smart Contracts. - Lexi Brent; Anton Jurisevic; Michael Kong; Eric Liu; François Gauthier 001; Vincent Gramoli; Ralph Holz; Bernhard Scholz (CoRR, 2018)

MadMax: surviving out-of-gas conditions in Ethereum smart contracts. - Neville Grech; Michael Kong; Anton Jurisevic; Lexi Brent; Bernhard Scholz; Yannis Smaragdakis (Proc. ACM Program. Lang., 2018)

MadMax: analyzing the out-of-gas world of smart contracts. - Neville Grech; Michael Kong; Anton Jurisevic; Lexi Brent; Bernhard Scholz; Yannis Smaragdakis (Commun. ACM, 2020)