Foundations and Tools for the Static Analysis of Ethereum Smart Contracts.

Ilya Grishchenko, Matteo Maffei, Clara Schneidewind

Browse the full CAV paper archive.