eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts.

Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei

Browse the full CCS paper archive.