SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds.

Priyanka Bose, Dipanjan Das, Yanju Chen, Yu Feng, Christopher Kruegel, Giovanni Vigna

Browse the full SP paper archive.