9 citations · 12 across the 11 of their papers we have counts for
1 paper · 1 filter
Priyanka Bose, Dipanjan Das, Yanju Chen +3
This paper presents SAILFISH, a scalable system for automatically finding state-inconsistency bugs in smart contracts. To make the analysis tractable, we introduce a hybrid approac…