SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds - Priyanka Bose, Dipanjan Das, Yanju Chen, Yu Feng, Christopher Kruegel, Giovanni Vigna

SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds - Priyanka Bose, Dipanjan Das, Yanju Chen, Yu Feng, Christopher Kruegel, Giovanni Vigna | Arena