Gigahorse: thorough, declarative decompilation of smart contracts.

Neville Grech, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis

Browse the full ICSE paper archive.